acpi: Abort VT-d initialization when no HW units found.
[barrelfish] / usr / acpi / intel_vtd.c
2015-08-17 Simon Gerberacpi: Abort VT-d initialization when no HW units found.
2015-08-17 Simon Gerberarrakis merge: make x86_32 build
2015-06-05 Simon GerberMerge of upstream arrakis code.