| 1 | $
|
|---|
| 2 | $ TOPPERS/SSP Kernel
|
|---|
| 3 | $ Smallest Set Profile Kernel
|
|---|
| 4 | $
|
|---|
| 5 | $ Copyright (C) 2008-2010 by Witz Corporation, JAPAN
|
|---|
| 6 | $
|
|---|
| 7 | $ ãLì ÒÍCȺÌ(1)`(4)Ìðð½·êÉÀèC{\tgEF
|
|---|
| 8 | $ Ai{\tgEFAðüϵ½àÌðÜÞDȺ¯¶jðgpE¡»Eü
|
|---|
| 9 | $ ÏEÄzziȺCpÆÄÔj·é±Æð³Åø·éD
|
|---|
| 10 | $ (1) {\tgEFAð\[XR[hÌ`Åp·éêÉÍCãLÌì
|
|---|
| 11 | $ \¦C±Ìpð¨æѺL̳ÛØKèªC»ÌÜÜÌ`Å\[
|
|---|
| 12 | $ XR[hÉÜÜêÄ¢é±ÆD
|
|---|
| 13 | $ (2) {\tgEFAðCCu`®ÈÇC¼Ì\tgEFAJÉg
|
|---|
| 14 | $ pÅ«é`ÅÄzz·éêÉÍCÄzzɺ¤hL
|
|---|
| 15 | gip
|
|---|
| 16 | $ Ò}j
|
|---|
| 17 | AÈÇjÉCãLÌì \¦C±Ìpð¨æѺL
|
|---|
| 18 | $ ̳ÛØKèðfÚ·é±ÆD
|
|---|
| 19 | $ (3) {\tgEFAðC@íÉgÝÞÈÇC¼Ì\tgEFAJÉg
|
|---|
| 20 | $ pÅ«È¢`ÅÄzz·éêÉÍCÌ¢¸ê©Ìðð½·±
|
|---|
| 21 | $ ÆD
|
|---|
| 22 | $ (a) Äzzɺ¤hL
|
|---|
| 23 | gipÒ}j
|
|---|
| 24 | AÈÇjÉCãLÌ
|
|---|
| 25 | $ ì \¦C±Ìpð¨æѺL̳ÛØKèðfÚ·é±ÆD
|
|---|
| 26 | $ (b) ÄzzÌ`ÔðCÊÉèßéû@ÉæÁÄCTOPPERSvWFNgÉ
|
|---|
| 27 | $ ñ·é±ÆD
|
|---|
| 28 | $ (4) {\tgEFAÌpÉæè¼ÚIܽÍÔÚIɶ¶é¢©Èé¹
|
|---|
| 29 | $ Q©çàCãLì Ò¨æÑTOPPERSvWFNgðÆÓ·é±ÆD
|
|---|
| 30 | $ ܽC{\tgEFAÌ[UܽÍGh[U©çÌ¢©Èé
|
|---|
| 31 | $ RÉîÿ©çàCãLì Ò¨æÑTOPPERSvWFNgð
|
|---|
| 32 | $ ÆÓ·é±ÆD
|
|---|
| 33 | $
|
|---|
| 34 | $ {\tgEFAÍC³ÛØÅñ³êÄ¢éàÌÅ éDãLì Ò¨
|
|---|
| 35 | $ æÑTOPPERSvWFNgÍC{\tgEFAÉÖµÄCÁèÌgpÚI
|
|---|
| 36 | $ ÉηéK«àÜßÄC¢©ÈéÛØàsíÈ¢DܽC{\tgEF
|
|---|
| 37 | $ AÌpÉæè¼ÚIܽÍÔÚIɶ¶½¢©Èé¹QÉÖµÄàC»
|
|---|
| 38 | $ ÌÓCðíÈ¢D
|
|---|
| 39 | $
|
|---|
| 40 |
|
|---|
| 41 | $
|
|---|
| 42 | $ pX3ÌvZbT˶ev[giRX630pj
|
|---|
| 43 | $
|
|---|
| 44 |
|
|---|
| 45 | $
|
|---|
| 46 | $ `FbNû@Ìwè
|
|---|
| 47 | $
|
|---|
| 48 | $CHECK_FUNC_ALIGN = 1$
|
|---|
| 49 | $CHECK_FUNC_NONNULL = 1$
|
|---|
| 50 | $CHECK_STACK_ALIGN = 4$
|
|---|
| 51 | $CHECK_STACK_NONNULL = 1$
|
|---|
| 52 | $CHECK_MPF_ALIGN = 4$
|
|---|
| 53 | $CHECK_MPF_NONNULL = 1$
|
|---|
| 54 |
|
|---|
| 55 | $
|
|---|
| 56 | $ Wev[gt@CÌCN[h
|
|---|
| 57 | $
|
|---|
| 58 | $INCLUDE "kernel/kernel_check.tf"$
|
|---|
![(please configure the [header_logo] section in trac.ini)](/trac_user/contrib/chrome/site/your_project_logo.png){kind=logo}
