sel4: assignment of BOARD as effective override

Issue #3792
2020-06-30 09:11:57 +02:00
parent 9578fadae2
commit 8e205e0324
2 changed files with 2 additions and 2 deletions
--- a/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx6q_sabrelite.mk
+++ b/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx6q_sabrelite.mk
@@ -1,5 +1,5 @@
 PLAT  := imx6
 CPU   := cortex-a9
-BOARD := imx6q_sabrelite
+override BOARD := imx6q_sabrelite

 -include $(REP_DIR)/lib/mk/spec/arm/kernel-sel4.inc
--- a/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx7d_sabre.mk
+++ b/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx7d_sabre.mk
@@ -1,5 +1,5 @@
 PLAT  := imx7
 CPU   := cortex-a7
-BOARD := imx7d_sabre
+override BOARD := imx7d_sabre

 -include $(REP_DIR)/lib/mk/spec/arm/kernel-sel4.inc