-- 宣言情報の記述

 INCLUDE ( " \"kernel.h\" " );

 -- システム情報の記述

 RI_SERIES ( RI850V4, V201 );

 CPU_TYPE ( G3M );

 DEF_TIM ( 1 );

 CLK_INTNO ( 0x104c );

 SYS_STK ( 0x800 );

 STK_CHK ( TA_ON );

 MAX_PRI ( 12 );

 MAX_INTPRI ( INTPRI5 );

 MAX_INT ( 10, 0x1119 );

 DEF_FPSR(0x00020000);

 MEM_AREA ( kernel_work, SIZE_AUTO );

 -- 静的API情報の記述

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