Download 8051 RTOS

The OSEK/VDX Implementation Language (OIL)
MAXNESTEDISR
The MAXNESTEDISR attribute specifies the maximum number of nested ISRs. The type of this
attribute is UINT32 and the possible values range from 1 to 8. The default value is 2.
SMAINSTACK
The SMAINSTACK attribute specifies the maximum usage (in bytes) of the system stack before the
application starts the RTOS with the system service StartOS. The RTOS allocates a dedicated buffer to
save these bytes. You can easily find the best value by comparing the value of the system stack pointer
after main and before the call to StartOS.
The type of this attribute is UINT32. It has no default value.
STACKMONITOR
With the STACKMONITOR attribute you can request the RTOS to monitor continuously possible stack
overflows for you. Although expensive in run-time performance, the RTOS will inform you as soon as
possible with the precise cause of the stack overflow. The default value is FALSE.
See Appendix B, Stack Overflow, for an extensive description of this attribute.
USERTOSTIMER
The USERTOSTIMER is a parametrized boolean attribute which determines whether ALARM OIL
objects based on the system counter have been configured in the system.
If set to TRUE, the RTOS provides the interrupt framework for the timer unit and the application
provides its initialization. In this case, you must set the parameter RTOSTIMERLEVEL with the entry of
the timer unit in the Interrupt Vector Table. The type of RTOSTIMERLEVEL is UINT32. It has no default
value.
The default value for USERTOSTIMER is FALSE.
VISRSTACK
The RTOS allocates a dedicated buffer for the run-time virtual stacks of the interrupts. The
VISRSTACK attribute specifies the size of this buffer (in bytes). You should consider the worst case
scenario (maximum nested number) and the RTOS contribution (see Appendix A, Implementation
Parameters).
The type of this attribute is UINT32. The default value is 100 bytes.
ISR object
ENBIT
The ENBIT attribute specifies the SFR register bit that enables/disables the ISR. The type of this
attribute is STRING. It has no default value.
Check the .sfr files in $(PRODDIR)/c51/include to find the appropiate .sfr file name.
3-5