genode/ports/src/virtualbox/acpi_drv.patch
2014-02-28 10:11:12 +01:00

10 lines
199 B
Diff

+++ src/VBox/Devices/PC/DrvACPI.cpp
@@ -44,6 +44,7 @@
# include <IOKit/ps/IOPSKeys.h>
#endif
+#undef RT_OS_FREEBSD
#ifdef RT_OS_FREEBSD
# include <sys/ioctl.h>
# include <dev/acpica/acpiio.h>