| if TARGET_VEXPRESS_CA15_TC2 | |
| config SYS_BOARD | |
| default "vexpress" | |
| config SYS_VENDOR | |
| default "armltd" | |
| config SYS_CONFIG_NAME | |
| default "vexpress_ca15_tc2" | |
| endif | |
| if TARGET_VEXPRESS_CA5X2 | |
| config SYS_BOARD | |
| default "vexpress" | |
| config SYS_VENDOR | |
| default "armltd" | |
| config SYS_CONFIG_NAME | |
| default "vexpress_ca5x2" | |
| endif | |
| if TARGET_VEXPRESS_CA9X4 | |
| config SYS_BOARD | |
| default "vexpress" | |
| config SYS_VENDOR | |
| default "armltd" | |
| config SYS_CONFIG_NAME | |
| default "vexpress_ca9x4" | |
| endif | |