genode/repos/base-hw
Stefan Kalkowski e344fa8c23 base-hw: export board name in platform info
We need to differentiate the board within the SoC generic
platform driver. Therefore, export its name within the
platform info ROM.

Ref issue#5360
2024-10-11 14:46:23 +02:00
..
board
etc
include
lib/mk
recipes
run
src