1*dd84058dSMasahiro Yamadaif TARGET_ARMADILLO_800EVA 2*dd84058dSMasahiro Yamada 3*dd84058dSMasahiro Yamadaconfig SYS_BOARD 4*dd84058dSMasahiro Yamada default "armadillo-800eva" 5*dd84058dSMasahiro Yamada 6*dd84058dSMasahiro Yamadaconfig SYS_VENDOR 7*dd84058dSMasahiro Yamada default "atmark-techno" 8*dd84058dSMasahiro Yamada 9*dd84058dSMasahiro Yamadaconfig SYS_CONFIG_NAME 10*dd84058dSMasahiro Yamada default "armadillo-800eva" 11*dd84058dSMasahiro Yamada 12*dd84058dSMasahiro Yamadaendif 13