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