Everything
17.6 Description Examples
The following describes an example for coding the system configuration file.
Figure 17-2 Example of System Configuration File
 -- Declarative Information description
 INCLUDE (" \"kernel.h\" ");
 
 -- System Information description
 RI_SERIES (RI850V4, V201);
 
 CPU_TYPE (G3M);
 DEF_TIM (1);
 CLK_INTNO (0x104c);
 SYS_STK (0x800);
 STK_CHK (TA_ON);
 MAX_PRI (0x12);
 MAX_INTPRI (INTPRI5);
 MAX_INT (10, 0x1119);
 DEF_FPSR ( 0x00020000 );
 
 MEM_AREA (kernel_work, SIZE_AUTO);
 
 -- Static API Information description
 CRE_TSK ( ID_TASK1, { TA_HLNG | TA_ACT | TA_ENAINT, 0, task1, 1, 0x100, NULL } );
 CRE_TSK ( ID_TASK2, { TA_HLNG | TA_ENAINT, 0, task2, 3, 0x50, NULL } );
 CRE_TSK ( ID_TASK3, { TA_HLNG | TA_ENAINT, 0, task3, 3, 0x50, NULL } );
 CRE_TSK ( ID_TASK4, { TA_HLNG | TA_ENAINT, 0, task4, 7, 0x50, NULL } );
 CRE_TSK ( ID_TASK5, { TA_HLNG | TA_ENAINT, 0, task5, 5, 0x50, NULL } );
 
 CRE_SEM ( ID_SEM1, { TA_TFIFO, 0x1, 0x1 } );
 
 CRE_FLG ( ID_FLG1, { TA_TFIFO | TA_WMUL | TA_CLR, 0x0 } );
 
 CRE_DTQ ( ID_DTQ1, { TA_TFIFO, 0x40, NULL } );
 
 CRE_MBX ( ID_MBX1, { TA_TFIFO | TA_MFIFO, 0x10, NULL } );
 
 CRE_MTX ( ID_MTX1, { TA_TFIFO, 0x10 } );
 
 CRE_MPF ( ID_MPF1, { TA_TFIFO, 0x4, 0x10, NULL } );
 
 CRE_MPL ( ID_MPL1, { TA_TFIFO, 0x50, NULL } );
 
 CRE_CYC ( ID_CYC1, { TA_HLNG | TA_STA, 0x0, cychdr1, 1000, 5 } );
 
 DEF_INH ( 0x1000, { TA_HLNG, inthdr1 } );
 DEF_INH ( 0x1001, { TA_HLNG, inthdr2 } );
 
 DEF_SVC ( 1, { TA_HLNG, svcrtn1 } );
 
 ATT_INI ( { TA_HLNG, 0x0, inirtn } );
 
 VATT_IDL ( { TA_HLNG, idlrtn } );
 

Note The RI850V4 provides sample source files for the system configuration file.