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