Johannes Schlatow f2e63bdd64 platform_drv: add IOMMU devices to common ...

With this change, platform-specific code is able to define factories that
acquire IOMMU devices to be used by the platform driver.

genodelabs/genode#4761

2023-05-30 12:03:32 +02:00

..

app

log_core: limit buffer to max log string

2023-05-30 12:03:26 +02:00

drivers

platform_drv: add IOMMU devices to common

2023-05-30 12:03:32 +02:00

init

xml_node: change with_sub_node signature

2022-09-19 14:00:33 +02:00

lib

genode_c_api: fix build errors with -std=gnu++20

2023-05-30 12:03:31 +02:00

server

part_block: fix build errors with -std=gnu++20

2023-05-30 12:03:31 +02:00

test

test-timeout: fix build errors with -std=gnu++20

2023-05-30 12:03:31 +02:00

trace/policy

os: src/lib/trace/policy -> src/trace/policy

2022-09-19 13:59:27 +02:00