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