Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | if TARGET_KAREF |
2 | |||||
3 | config SYS_BOARD | ||||
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 4 | default "karef" |
5 | |||||
6 | config SYS_VENDOR | ||||
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 7 | default "sandburst" |
8 | |||||
9 | config SYS_CONFIG_NAME | ||||
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 10 | default "KAREF" |
11 | |||||
12 | endif |