genode/repos/os/include/spec
Norman Feske dc8c899c1d Streamline platform-device API on ARM
This API rework eases the access to memory-mapped I/O registers and
interrupts when using the platform driver. It introduces the notions of

- Platform::Device       - one device obtained from a platform session
- Platform::Device::Mmio - locally-mapped MMIO registers of a device
- Platform::Device::Irq  - interface for receiving device interrupts

The patch touches several drivers. Some drivers would require a
significant structural change to adopt the new API (e.g., net/virtio,
dde_linux drivers, imx gpio). In these cases, the patch adds
compatibility shims meant to be temporary. In other cases (e.g., imx
i2c), the adaptation was simple enough to carry through.

Fixes #4075
2021-04-20 12:10:58 +02:00
..
arm Streamline platform-device API on ARM 2021-04-20 12:10:58 +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