genode/repos/base-nova/patches
Johannes Schlatow 518a57d8e5 base-nova: allow access to Intel IOMMU
This allows the platform driver to take over control of DMA remapping
and keeps NOVA-driven interrupt remapping active.

genodelabs/genode#5002
2023-11-30 14:22:54 +01:00
..
allow_iommu_access.patch base-nova: allow access to Intel IOMMU 2023-11-30 14:22:54 +01:00
README Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
syscall_msi.patch base-nova: allow MSI for non-PCI devices 2023-11-28 19:35:16 +01:00

This directory contains patches for the Genode adjusted version of the NOVA
microhypervisor @ github required for using this kernel with Genode.