CONFIG_SYS_EXTRA_OPTIONS="EVAL9000"
CONFIG_ARM=y
CONFIG_TARGET_TOP9000=y
