mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-24 04:55:38 +00:00
9d7f8cfa9b
When executed on NOVA, the platform driver will use the kernel IOMMU (device PD) if the devices ROM either does not name any IOMMU or support for the named IOMMU is not available (e.g. because the generic platform driver is used). In the latter case, reserved-memory ranges were not correctly added to the device PD. genodelabs/genode#5066
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.