genode/repos/base-hw/lib/mk
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
..
spec hw: move stack into cpu local mem area 2024-08-27 15:29:36 +02:00
base-hw-common.mk hw: don't take the log backend's mutex in kernel 2023-01-24 12:07:29 +01:00
base-hw.inc base: de-duplicate src/lib/base/platform.cc 2023-07-14 12:06:31 +02:00
bootstrap-hw.inc hw: move stack into cpu local mem area 2024-08-27 15:29:36 +02:00
consts-hw.inc hw: move stack into cpu local mem area 2024-08-27 15:29:36 +02:00
core-hw.inc base-hw: export board name in platform info 2024-10-11 14:46:23 +02:00
timeout-hw.mk base-hw: problems with timeout lib in src recipe 2022-10-12 11:59:08 +02:00