mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-23 18:34:02 +00:00
1df55bd2dc
The default IOMMU domain is used as a default if the kernel has IOMMU support and if devices are not linked explicitly linked to a IOMMU device. As soon as an IOMMU device is present, the kernel IOMMU is never used. Hence, there is no point in maintaining the default domain if there are other domains present. genodelabs/genode#5494
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.