blob: 0724b4d8e70d5f7d2a6474d5119aa64cd7f0b30f (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- vboxdrv/Makefile.orig 2009-02-25 01:22:57.626074529 +0100
+++ vboxdrv/Makefile 2009-02-25 01:23:36.419076205 +0100
@@ -67,7 +67,7 @@
endif
# use vm_insert_page() API (if available) to map kernel pages to userland - better debugging
-# VBOX_USE_INSERT_PAGE = 1
+VBOX_USE_INSERT_PAGE = 1
# override is required by the Debian guys
override MODULE = vboxdrv
|