Johannes Schlatow f55d06fd5c base-nova: allow MSI for non-PCI devices
DMA remapping hardware units use MSI for fault events. However, MSI
were bound to the presence of a PCI configuration space.

genodelabs/genode#5002
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.