genode/repos/os/src/drivers
Sebastian Sumpf 96ab58691a gpu/intel: PPGTT allocation optimization
Use range allocator as cache for page mappings instead of allocating
from platform driver for each page table.

issue #4380
2022-01-19 15:01:19 +01:00
..
acpi os: avoid implicit conversions 2021-12-17 15:04:45 +01:00
ahci os: deprecate platform API for x86, rpi, imx53 2022-01-19 12:38:12 +01:00
audio/spec/linux os: avoid implicit conversions 2021-12-17 15:04:45 +01:00
framebuffer os: deprecate platform API for x86, rpi, imx53 2022-01-19 12:38:12 +01:00
gpio Streamline platform-device API on ARM 2021-04-20 12:10:58 +02:00
gpu/intel gpu/intel: PPGTT allocation optimization 2022-01-19 15:01:19 +01:00
i2c os: avoid implicit conversions 2021-12-17 15:04:45 +01:00
input/virtio os: avoid implicit conversions 2021-12-17 15:04:45 +01:00
nic uplink_client_base: no deref of invalid connection 2022-01-19 14:13:48 +01:00
nvme os: deprecate platform API for x86, rpi, imx53 2022-01-19 12:38:12 +01:00
platform os: deprecate platform API for x86, rpi, imx53 2022-01-19 12:38:12 +01:00
ps2 os: deprecate platform API for x86, rpi, imx53 2022-01-19 12:38:12 +01:00
rtc os: avoid implicit conversions 2021-12-17 15:04:45 +01:00
sd_card os: avoid implicit conversions 2021-12-17 15:04:45 +01:00
touch/synaptics_dsx os: avoid implicit conversions 2021-12-17 15:04:45 +01:00
uart os: avoid implicit conversions 2021-12-17 15:04:45 +01:00
usb_block os: avoid implicit conversions 2021-12-17 15:04:45 +01:00
virtdev_rom platform driver: make device info XML optional 2021-05-05 11:31:16 +02:00