mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-24 04:55:38 +00:00
Destruction of IOMMU domain should happen after the PCI device was disabled in order to prevent faulty DMA transactions. genodelabs/genode#5002
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.