KERNEL_SYS_STK(256, NULL);
KERNEL_INT_STK(512, NULL);
KERNEL_MAX_TSKID(5);
-KERNEL_MAX_SEMID(5);
+KERNEL_MAX_SEMID(6);
KERNEL_MAX_FLGID(2);
KERNEL_MAX_MBXID(2);
KERNEL_MAX_MPFID(2);
-KERNEL_MAX_ISRID(2);
+KERNEL_MAX_ISRID(4);
/* %jp{OSタイマの設定}%en{OS timer} */
CRE_SEM(3, {TA_TFIFO, 1, 1});
CRE_SEM(4, {TA_TFIFO, 1, 1});
CRE_SEM(5, {TA_TFIFO, 1, 1});
+CRE_SEM(SEMID_RAND, {TA_TFIFO, 1, 1});
/* end of file */