genode/repos/ports/src/virtualbox5/patches/acpi_drv.patch
Alexander Boettcher 6bb145bdd8 Remove virtualbox 4 vmm
Fixes #3141
2019-02-19 11:08:17 +01:00

15 lines
440 B
Diff

acpi_drv.patch
diff --git a/src/app/virtualbox/src/VBox/Devices/PC/DrvACPI.cpp b/src/app/virtualbox/src/VBox/Devices/PC/DrvACPI.cpp
index d22fc11..f194326 100644
--- a/src/app/virtualbox/src/VBox/Devices/PC/DrvACPI.cpp
+++ b/src/app/virtualbox/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>