genode/repos/os/include/spec
Stefan Kalkowski 98400a68c9 os: extend ARM Platform::Device constructor
Enable construction by explicitely naming a specific device,
if more than one device of the same type exist.

Ref #4297
2021-10-14 11:02:15 +02:00
..
arm os: extend ARM Platform::Device constructor 2021-10-14 11:02:15 +02:00
arm_64 Streamline platform-device API on ARM 2021-04-20 12:10:58 +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