mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-01 15:10:56 +00:00
Likewise on the x86 branch, we have to remove all virtual memory ranges from the virtual memory allocator that are used by one-by-one mappings of I/O regions used by the kernel. Fix #1797