ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-14 23:12:09 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-hw/lib
History
Stefan Kalkowski dc37c396cf 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 genodelabs/genode#5360
Fix genodelabs/genode#5414
2025-01-30 16:30:14 +01:00
..
mk
hw: ensure board_name is set as depot build
2025-01-30 16:30:14 +01:00