source: ssp_qb_r5f100le_cs/trunk/kernel/ssp_kernel_check.tf@ 93

Last change on this file since 93 was 93, checked in by nmir-saito, 8 years ago

add Combined package of SSP kernel for QB-R5F100LE-TB(RL78 processor)

File size: 3.7 KB
RevLine 
[93]1$ ======================================================================
2$
3$ TOPPERS/SSP Kernel
4$ Smallest Set Profile Kernel
5$
6$ Copyright (C) 2008 by Embedded and Real-Time Systems Laboratory
7$ Graduate School of Information Science, Nagoya Univ., JAPAN
8$ Copyright (C) 2010 by Naoki Saito
9$ Nagoya Municipal Industrial Research Institute, JAPAN
10$
11$ ã‹L’˜ìŒ ŽÒ‚́CˆÈ‰º‚Ì (1)`(4) ‚ÌðŒ‚ð–ž‚½‚·ê‡‚ÉŒÀ‚èC–{ƒ\ƒtƒgƒEƒF
12$ ƒAi–{ƒ\ƒtƒgƒEƒFƒA‚ð‰ü•Ï‚µ‚½‚à‚Ì‚ðŠÜ‚ށDˆÈ‰º“¯‚¶j‚ðŽg—pE•¡»E‰ü•ÏE
13$ Ä”z•ziˆÈ‰ºC—˜—p‚ƌĂԁj‚·‚邱‚Ƃ𖳏ž‚Å‹–‘ø‚·‚éD
14$ (1) –{ƒ\ƒtƒgƒEƒFƒA‚ðƒ\[ƒXƒR[ƒh‚ÌŒ`‚Å—˜—p‚·‚éê‡‚ɂ́Cã‹L‚Ì’˜ìŒ 
15$ •\Ž¦C‚±‚Ì—˜—pðŒ‚¨‚æ‚щº‹L‚Ì–³•ÛØ‹K’肪C‚»‚Ì‚Ü‚Ü‚ÌŒ`‚Ń\[ƒX
16$ ƒR[ƒh’†‚ÉŠÜ‚Ü‚ê‚Ä‚¢‚邱‚ƁD
17$ (2) –{ƒ\ƒtƒgƒEƒFƒA‚ðCƒ‰ƒCƒuƒ‰ƒŠŒ`Ž®‚ȂǁC‘¼‚̃\ƒtƒgƒEƒFƒAŠJ”­‚ÉŽg—p
18$ ‚Å‚«‚éŒ`‚ōĔz•z‚·‚éê‡‚ɂ́CÄ”z•z‚É”º‚¤ƒhƒLƒ…
19ƒƒ“ƒgi—˜—pŽÒƒ}
20$ ƒjƒ…
21ƒAƒ‹‚Ȃǁj‚ɁCã‹L‚Ì’˜ìŒ •\Ž¦C‚±‚Ì—˜—pðŒ‚¨‚æ‚щº‹L‚Ì–³•Û
22$ Ø‹K’è‚ðŒfÚ‚·‚邱‚ƁD
23$ (3) –{ƒ\ƒtƒgƒEƒFƒA‚ðC‹@Ší‚É‘g‚ݍž‚ނȂǁC‘¼‚̃\ƒtƒgƒEƒFƒAŠJ”­‚ÉŽg—p
24$ ‚Å‚«‚È‚¢Œ`‚ōĔz•z‚·‚éê‡‚ɂ́CŽŸ‚Ì‚¢‚¸‚ê‚©‚ÌðŒ‚ð–ž‚½‚·‚±‚ƁD
25$ (a) Ä”z•z‚É”º‚¤ƒhƒLƒ…
26ƒƒ“ƒgi—˜—pŽÒƒ}ƒjƒ…
27ƒAƒ‹‚Ȃǁj‚ɁCã‹L‚Ì’˜ì
28$ Œ •\Ž¦C‚±‚Ì—˜—pðŒ‚¨‚æ‚щº‹L‚Ì–³•ÛØ‹K’è‚ðŒfÚ‚·‚邱‚ƁD
29$ (b) Ä”z•z‚ÌŒ`‘Ô‚ðC•Ê‚É’è‚ß‚é•û–@‚É‚æ‚Á‚āCTOPPERSƒvƒƒWƒFƒNƒg‚É•ñ
30$ ‚·‚邱‚ƁD
31$ (4) –{ƒ\ƒtƒgƒEƒFƒA‚Ì—˜—p‚É‚æ‚è’¼Ú“I‚Ü‚½‚͊ԐړI‚ɐ¶‚¶‚é‚¢‚©‚Ȃ鑹ŠQ
32$ ‚©‚ç‚àCã‹L’˜ìŒ ŽÒ‚¨‚æ‚ÑTOPPERSƒvƒƒWƒFƒNƒg‚ð–Ɛӂ·‚邱‚ƁD‚Ü‚½C
33$ –{ƒ\ƒtƒgƒEƒFƒA‚̃†[ƒU‚Ü‚½‚̓Gƒ“ƒhƒ†[ƒU‚©‚ç‚Ì‚¢‚©‚Ȃ闝—R‚ÉŠî‚Ã
34$ ‚­¿‹‚©‚ç‚àCã‹L’˜ìŒ ŽÒ‚¨‚æ‚ÑTOPPERSƒvƒƒWƒFƒNƒg‚ð–Ɛӂ·‚邱‚ƁD
35$
36$ –{ƒ\ƒtƒgƒEƒFƒA‚́C–³•ÛØ‚Å’ñ‹Ÿ‚³‚ê‚Ä‚¢‚é‚à‚Ì‚Å‚ ‚éDã‹L’˜ìŒ ŽÒ‚¨‚æ
37$ ‚ÑTOPPERSƒvƒƒWƒFƒNƒg‚́C–{ƒ\ƒtƒgƒEƒFƒA‚ÉŠÖ‚µ‚āC“Á’è‚ÌŽg—p–Ú“I‚ɑ΂·
38$ ‚é“K‡«‚àŠÜ‚߂āC‚¢‚©‚È‚é•ÛØ‚às‚í‚È‚¢D‚Ü‚½C–{ƒ\ƒtƒgƒEƒFƒA‚Ì—˜—p
39$ ‚É‚æ‚è’¼Ú“I‚Ü‚½‚͊ԐړI‚ɐ¶‚¶‚½‚¢‚©‚Ȃ鑹ŠQ‚ÉŠÖ‚µ‚Ä‚àC‚»‚̐ӔC‚ð•‰
40$ ‚í‚È‚¢D
41$
42$ ======================================================================
43
44$
45$ ŠÖ”‚̐擪”Ô’n‚̃`ƒFƒbƒN
46$
47$IF LENGTH(CHECK_FUNC_ALIGN) || LENGTH(CHECK_FUNC_NONNULL)$
48$ // ƒ^ƒXƒN‚ƃ^ƒXƒN—áŠOˆ—ƒ‹[ƒ`ƒ“‚̐擪”Ô’n‚̃`ƒFƒbƒN
49 $tinib = SYMBOL("_kernel_tinib_table")$
50 $FOREACH tskid TSK.ID_LIST$
51 $task = PEEK(tinib + offsetof_TINIB_task, sizeof_FP)$
52 $IF LENGTH(CHECK_FUNC_ALIGN) && (task & (CHECK_FUNC_ALIGN - 1))$
53 $ERROR TSK.TEXT_LINE[tskid]$E_PAR:
54 $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is not aligned"),
55 "task", TSK.TASK[tskid], tskid, "CRE_TSK")$$END$
56 $END$
57 $IF LENGTH(CHECK_FUNC_NONNULL) && (task == 0)$
58 $ERROR TSK.TEXT_LINE[tskid]$E_PAR:
59 $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is null"),
60 "task", TSK.TASK[tskid], tskid, "CRE_TSK")$$END$
61 $END$
62 $texrtn = PEEK(tinib + offsetof_TINIB_texrtn, sizeof_FP)$
63 $IF LENGTH(CHECK_FUNC_ALIGN) && (texrtn & (CHECK_FUNC_ALIGN - 1))$
64 $ERROR DEF_TEX.TEXT_LINE[tskid]$E_PAR:
65 $FORMAT(_("%1% `%2%\' of `%3%\' in %4% is not aligned"),
66 "texrtn", TSK.TEXRTN[tskid], tskid, "DEF_TEX")$$END$
67 $END$
68 $tinib = tinib + sizeof_TINIB$
69 $END$
70
71$END$
72
73$
74$ ƒXƒ^ƒbƒN—̈æ‚̐擪”Ô’n‚̃`ƒFƒbƒN
75$
76$IF LENGTH(CHECK_STACK_ALIGN) || LENGTH(CHECK_STACK_NONNULL)$
77$ // ”ñƒ^ƒXƒNƒRƒ“ƒeƒLƒXƒg—p‚̃Xƒ^ƒbƒN—̈æ‚̐擪”Ô’n‚̃`ƒFƒbƒN
78 $istk = PEEK(SYMBOL("_kernel_istk"), sizeof_void_ptr)$
79 $IF LENGTH(CHECK_STACK_ALIGN) && (istk & (CHECK_STACK_ALIGN - 1))$
80 $ERROR ICE.TEXT_LINE[1]$E_PAR:
81 $FORMAT(_("%1% `%2%\' in %3% is not aligned"),
82 "istk", ICS.ISTK[1], "DEF_ICS")$$END$
83 $END$
84 $IF LENGTH(CHECK_STACK_NONNULL) && (istk == 0)$
85 $ERROR ICE.TEXT_LINE[1]$E_PAR:
86 $FORMAT(_("%1% `%2%\' in %3% is null"),
87 "istk", ICS.ISTK[1], "DEF_ICS")$$END$
88 $END$
89$END$
Note: See TracBrowser for help on using the repository browser.