1 if TARGET_ARMADILLO_800EVA 2 3 config SYS_BOARD 4 default "armadillo-800eva" 5 6 config SYS_VENDOR 7 default "atmark-techno" 8 9 config SYS_CONFIG_NAME 10 default "armadillo-800eva" 11 12 endif 13