hw: ensure board_name is set as depot build

When no BOARD variable is set via the build environment, the board_name in the platform_info ROM needs to be set either. Ref #5360 Fix #5414
genodelabs · Jan 15, 2025 · b7d3d82 · b7d3d82
1 parent f4c2559
commit b7d3d82
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/repos/base-hw/lib/mk/core-hw.inc b/repos/base-hw/lib/mk/core-hw.inc
@@ -62,6 +62,7 @@ SRC_CC += capability.cc
 SRC_CC += stack_area_addr.cc
 SRC_CC += heartbeat.cc
 
+BOARD  ?= unknown
 CC_OPT_platform += -DBOARD_NAME="\"$(BOARD)\""
 
 # provide Genode version information

diff --git a/repos/base-hw/recipes/src/base-hw_content.inc b/repos/base-hw/recipes/src/base-hw_content.inc
@@ -200,6 +200,7 @@ generalize_target_names: $(CONTENT)
 	# supplement BOARD definition that normally comes form the build dir
 	sed -i "s/\?= unknown/:= $(BOARD)/" src/core/hw/target.mk
 	sed -i "s/\?= unknown/:= $(BOARD)/" src/bootstrap/hw/target.mk
+	sed -i "s/\?= unknown/:= $(BOARD)/" lib/mk/core-hw.inc
 	# discharge targets when building for mismatching architecture
 	sed -i "1aREQUIRES := $(ARCH)"      src/core/hw/target.mk
 	sed -i "1aREQUIRES     := $(ARCH)"  src/bootstrap/hw/target.mk