| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | if TARGET_VEXPRESS_CA15_TC2 |
| 2 | |||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 3 | config SYS_BOARD |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 4 | default "vexpress" |
| 5 | |||||
| 6 | config SYS_VENDOR | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 7 | default "armltd" |
| 8 | |||||
| 9 | config SYS_CONFIG_NAME | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 10 | default "vexpress_ca15_tc2" |
| 11 | |||||
| 12 | endif | ||||
| 13 | |||||
| 14 | if TARGET_VEXPRESS_CA5X2 | ||||
| 15 | |||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 16 | config SYS_BOARD |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 17 | default "vexpress" |
| 18 | |||||
| 19 | config SYS_VENDOR | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 20 | default "armltd" |
| 21 | |||||
| 22 | config SYS_CONFIG_NAME | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 23 | default "vexpress_ca5x2" |
| 24 | |||||
| 25 | endif | ||||
| 26 | |||||
| 27 | if TARGET_VEXPRESS_CA9X4 | ||||
| 28 | |||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 29 | config SYS_BOARD |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 30 | default "vexpress" |
| 31 | |||||
| 32 | config SYS_VENDOR | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 33 | default "armltd" |
| 34 | |||||
| 35 | config SYS_CONFIG_NAME | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 36 | default "vexpress_ca9x4" |
| 37 | |||||
| 38 | endif | ||||