if ARCH_AT91RM9200

config ARCH_TEXT_BASE
	hex

config BOARDINFO

comment "Atmel AT91RM9200 System-on-Chip"

choice

	prompt "AT91RM9200 Board Type"

endchoice

endif
