-- 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 } );