The following section describes the options available on the OS tab.
Primary Software Counter (System Timer) The name of the primary software counter, used with the timeout and delay operations, and other time-related code. If you select this check box, the MicroC Code Generator will generate a static OS configuration file.This option is only displayed if you selected Static OS Configuration on the main window of the OSDT.
• OS CFG Input
Enter in the text box (or locate with the ... button) the template file to use for the creation of the OS configuration file.
The keywords used in the template file will be replaced with concrete data from the model to create the OS configuration file that reflects the OS objects in the model.
• Allow "GetResource(RES_SCHEDULER)" usage If this check box is selected, then when a Task/ISR has related timeouts, the code generator callsGetResource(RES_SCHEDULER) /
ReleaseResource(RES_SCHEDULER)
around the code section that swaps the Task/ISR event buffer. It also calls these functions around the call togenTmEvent(...)
in on<TIMER>OVERFLOW tasks (in the fileglob_func.c
).