mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-06 02:47:07 +00:00
The regions reported by the RMRR structure are used by legacy devices for DMA requests. Theses would need to be added to the device_pd to avoid DMAR faults when used in legacy mode. For now parse and print them, so that one has a clue about why we get DMAR faults. Issue #683