1if TARGET_VEXPRESS_CA15_TC2
2
3config SYS_BOARD
4	default "vexpress"
5
6config SYS_VENDOR
7	default "armltd"
8
9config SYS_CONFIG_NAME
10	default "vexpress_ca15_tc2"
11
12endif
13
14if TARGET_VEXPRESS_CA5X2
15
16config SYS_BOARD
17	default "vexpress"
18
19config SYS_VENDOR
20	default "armltd"
21
22config SYS_CONFIG_NAME
23	default "vexpress_ca5x2"
24
25endif
26
27if TARGET_VEXPRESS_CA9X4
28
29config SYS_BOARD
30	default "vexpress"
31
32config SYS_VENDOR
33	default "armltd"
34
35config SYS_CONFIG_NAME
36	default "vexpress_ca9x4"
37
38endif
39