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