-if TARGET_VEXPRESS_AEMV8A
-
-config SYS_CPU
- default "armv8"
+if TARGET_VEXPRESS64_AEMV8A
config SYS_BOARD
default "vexpress64"
endif
-if TARGET_VEXPRESS_AEMV8A_SEMI
+if TARGET_VEXPRESS64_BASE_FVP
+
+config SYS_BOARD
+ default "vexpress64"
+
+config SYS_VENDOR
+ default "armltd"
+
+config SYS_CONFIG_NAME
+ default "vexpress_aemv8a"
+
+endif
-config SYS_CPU
- default "armv8"
+if TARGET_VEXPRESS64_JUNO
config SYS_BOARD
default "vexpress64"