source: target/dummy_gcc/target.tf

$ 
$               ¥Ñ¥¹2€Î¥¿¡Œ¥²¥Ã¥È°Íž¥Æ¥ó¥×¥ì¡Œ¥È¡Ê¥À¥ß¡Œ¥¿¡Œ¥²¥Ã¥ÈÍÑ¡Ë
$ 

$ 
$  »ÈÍрǀ­€ë³ä¹þ€ßÈÖ¹æ€È€œ€ì€ËÂбþ€¹€ë³ä¹þ€ß¥Ï¥ó¥É¥éÈÖ¹æ
$ 
$INTNO_VALID = { 0, 1,..., 31 }$
$INHNO_VALID = INTNO_VALID$

$ 
$  ATT_ISR€Ç»ÈÍрǀ­€ë³ä¹þ€ßÈÖ¹æ€È€œ€ì€ËÂбþ€¹€ë³ä¹þ€ß¥Ï¥ó¥É¥éÈÖ¹æ
$ 
$INTNO_ATTISR_VALID = INTNO_VALID$
$INHNO_ATTISR_VALID = INHNO_VALID$

$ 
$  DEF_INT¡¿DEF_EXC€Ç»ÈÍрǀ­€ë³ä¹þ€ß¥Ï¥ó¥É¥éÈֹ桿CPUÎã³°¥Ï¥ó¥É¥éÈÖ¹æ
$ 
$INHNO_DEFINH_VALID = INHNO_VALID$
$EXCNO_DEFEXC_VALID = INHNO_VALID$

$ 
$  CFG_INT€Ç»ÈÍрǀ­€ë³ä¹þ€ßÈÖ¹æ€È³ä¹þ€ßÍ¥ÀèÅÙ
$ 
$INTNO_CFGINT_VALID = INTNO_VALID$
$INTPRI_CFGINT_VALID = { -1, -2,..., -7 }$

$ 
$  Éžœà¥Æ¥ó¥×¥ì¡Œ¥È¥Õ¥¡¥€¥ë€Î¥€¥ó¥¯¥ë¡Œ¥É
$ 
$INCLUDE "kernel/kernel.tf"$