| if TARGET_VEXPRESS64_AEMV8A | |
| config SYS_BOARD | |
| default "vexpress64" | |
| config SYS_VENDOR | |
| default "armltd" | |
| config SYS_CONFIG_NAME | |
| default "vexpress_aemv8a" | |
| endif | |
| if TARGET_VEXPRESS64_BASE_FVP | |
| config SYS_BOARD | |
| default "vexpress64" | |
| config SYS_VENDOR | |
| default "armltd" | |
| config SYS_CONFIG_NAME | |
| default "vexpress_aemv8a" | |
| endif | |
| if TARGET_VEXPRESS64_JUNO | |
| config SYS_BOARD | |
| default "vexpress64" | |
| config SYS_VENDOR | |
| default "armltd" | |
| config SYS_CONFIG_NAME | |
| default "vexpress_aemv8a" | |
| endif |