| if TARGET_VEXPRESS_CA15_TC2 |
| |
| config SYS_CPU |
| default "armv7" |
| |
| 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_CPU |
| default "armv7" |
| |
| config SYS_BOARD |
| default "vexpress" |
| |
| config SYS_VENDOR |
| default "armltd" |
| |
| config SYS_CONFIG_NAME |
| default "vexpress_ca5x2" |
| |
| endif |
| |
| if TARGET_VEXPRESS_CA9X4 |
| |
| config SYS_CPU |
| default "armv7" |
| |
| config SYS_BOARD |
| default "vexpress" |
| |
| config SYS_VENDOR |
| default "armltd" |
| |
| config SYS_CONFIG_NAME |
| default "vexpress_ca9x4" |
| |
| endif |