genode/repos/base-nova/ports
Alexander Boettcher 02d33e7b28 nova: disable IOMMU fault reporting on-demand
if too many faults are caused by devices.

Fixes #2631
2018-02-09 13:26:02 +01:00
..
nova.hash nova: disable IOMMU fault reporting on-demand 2018-02-09 13:26:02 +01:00
nova.port nova: disable IOMMU fault reporting on-demand 2018-02-09 13:26:02 +01:00