@@ -370,6 +370,12 @@ LIST_ARM11="$(boards_by_cpu arm1136) \
LIST_ARMV7="$(boards_by_cpu armv7)"
#########################################################################
+## ARMV8 Systems
+#########################################################################
+
+LIST_ARMV8="$(boards_by_cpu armv8)"
+
+#########################################################################
## AT91 Systems
#########################################################################
@@ -393,7 +399,11 @@ LIST_spear="$(boards_by_soc spear)"
## ARM groups
#########################################################################
-LIST_arm="$(boards_by_arch arm)"
+LIST_arm="$(boards_by_arch arm | \
+ for ARMV8_BOARD in $LIST_ARMV8; \
+ do sed "/$ARMV8_BOARD/d"; \
+ done) \
+"
#########################################################################
## MIPS Systems (default = big endian)