ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 21:27:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base-hw: export board name in platform info

Browse Source 
We need to differentiate the board within the SoC generic
platform driver. Therefore, export its name within the
platform info ROM.

Ref issue#5360
This commit is contained in:
Stefan Kalkowski 2024-10-11 14:39:01 +02:00
parent e0874baa8f
commit e344fa8c23
2 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-hw/lib/mk/core-hw.inc
View File

@ -62,6 +62,8 @@ SRC_CC += capability.cc
SRC_CC += stack_area_addr.cc
SRC_CC += heartbeat.cc
CC_OPT_platform += -DBOARD_NAME="\"$(BOARD)\""
# provide Genode version information
include $(BASE_DIR)/src/core/version.inc

3
repos/base-hw/src/core/platform.cc
View File

@ -161,6 +161,9 @@ void Platform::_init_platform_info()
xml.attribute("acpi", true);
xml.attribute("msi", true);
});
xml.node("board", [&] {
xml.attribute("name", BOARD_NAME);
});
_init_additional_platform_info(xml);
xml.node("affinity-space", [&] {
xml.attribute("width", affinity_space().width());