genode/repos/os/include/spec
Stefan Kalkowski d1cf9c86b8 os: introduce device type in platform driver
* Move "compatible" property value to "type" attribute
* Turn device_by_property helper in Platform::Connection into device_by_type

Fix #4074
2021-04-20 12:10:58 +02:00
..
arm os: introduce device type in platform driver 2021-04-20 12:10:58 +02:00
arm_64 os: add platform driver for i.MX 8M Quad SoC 2020-08-25 11:50:12 +02:00
imx53 os: introduce common platform driver for ARM 2020-05-27 11:56:46 +02:00
rpi rpi_platform_drv: remove placement new operator 2021-03-12 12:01:38 +01:00
x86 platform_session: cache arg for alloc_dma_buffer 2021-04-20 12:10:57 +02:00
x86_32/os Move timer from os to base repository 2019-01-14 12:33:57 +01:00
x86_64/os Move timer from os to base repository 2019-01-14 12:33:57 +01:00