if TARGET_ARMADILLO_800EVA
config SYS_BOARD
default "armadillo-800eva"
config SYS_VENDOR
default "atmark-techno"
config SYS_CONFIG_NAME
endif