genode/repos/base-hw/src
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
..
bootstrap hw/x86: prefer acpi rsdp v2 of multiboot2 2024-10-07 14:44:30 +02:00
core base-hw: export board name in platform info 2024-10-11 14:46:23 +02:00
include hw: move cpu kernel object into cpu local area 2024-08-27 15:29:36 +02:00
lib hw: move stack into cpu local mem area 2024-08-27 15:29:36 +02:00
test base-*: use C++20 function template syntax 2024-07-02 12:00:11 +02:00
timer/hw Remove '_drv' suffix 2024-06-20 12:54:30 +02:00