if ARCH_AT91RM9200 config ARCH_TEXT_BASE hex config BOARDINFO comment "Atmel AT91RM9200 System-on-Chip" choice prompt "AT91RM9200 Board Type" endchoice endif