1 if TARGET_VEXPRESS_CA15_TC2
15 config SYS_CONFIG_NAME
17 default "vexpress_ca15_tc2"
21 if TARGET_VEXPRESS_CA5X2
35 config SYS_CONFIG_NAME
37 default "vexpress_ca5x2"
41 if TARGET_VEXPRESS_CA9X4
55 config SYS_CONFIG_NAME
57 default "vexpress_ca9x4"