genode/repos/gems/recipes/raw
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
..
depot_download depot: update recipe hashes 2019-02-28 11:34:45 +01:00
download_coreplus depot: update recipe hashes 2021-01-25 14:00:43 +01:00
drivers_managed-imx8q_evk Streamline platform-device API on ARM 2021-04-20 12:10:58 +02:00
drivers_managed-pc sculpt: system reset via PS/2 and ACPI 2021-04-20 12:03:02 +02:00
drivers_nic-pc depot: update recipe hashes 2021-02-23 12:07:18 +01:00
drivers_nic-rpi os: introduce device type in platform driver 2021-04-20 12:10:58 +02:00
fonts_fs depot: update recipe hashes 2019-02-26 14:47:02 +01:00
genode_bg depot: update recipe hashes 2019-02-26 14:47:02 +01:00
motif_wm depot: update recipe hashes 2020-06-22 09:39:41 +02:00
sticks_blue_backdrop depot: update recipe hashes 2019-02-26 14:47:02 +01:00
terminal depot: update recipe hashes 2019-02-26 14:47:02 +01:00
themed_wm depot: update recipe hashes 2020-06-22 09:39:41 +02:00
window_layouter depot: update recipe hashes 2020-02-20 12:11:23 +01:00
wm depot: update recipe hashes 2020-06-22 09:39:41 +02:00