mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-13 06:03:31 +00:00
When the kernel does interrupt remapping, we cannot get a non-remapped MSI for fault event interrupts. We therefore let the kernel do the fault reporting in this case. genodelabs/genode#5066