genode/repos/os/src
Christian Helmuth 11a7ac0536 acpi_drv: reduce capability quota requirements
Map ACPI tables entirely as one dataspaces (not page-by-page). Note, the
current approach does only merge overlapping but not consecutive I/O
memory regions, which would reduce the amount of capabilities required
even further.

Fixes #3495
2019-11-19 14:23:54 +01:00
..
app smbios_decoder: XML report from SMBIOS table ROM 2019-08-13 12:02:26 +02:00
drivers acpi_drv: reduce capability quota requirements 2019-11-19 14:23:54 +01:00
init timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
lib vfs: add modification time member to directory_service 2019-11-19 14:17:30 +01:00
server fs_rom: adaptation to added file-modification time 2019-11-19 14:17:30 +01:00
test input_filter: dead-key sequence support 2019-08-28 14:22:32 +02:00