1 if TARGET_VEXPRESS_CA15_TC2
12 config SYS_CONFIG_NAME
13 default "vexpress_ca15_tc2"
17 if TARGET_VEXPRESS_CA5X2
28 config SYS_CONFIG_NAME
29 default "vexpress_ca5x2"
33 if TARGET_VEXPRESS_CA9X4
44 config SYS_CONFIG_NAME
45 default "vexpress_ca9x4"