diff options
| -rw-r--r-- | debian/patches/75_dde_fixup.patch | 12 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 0 insertions, 13 deletions
diff --git a/debian/patches/75_dde_fixup.patch b/debian/patches/75_dde_fixup.patch deleted file mode 100644 index c30e819..0000000 --- a/debian/patches/75_dde_fixup.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff --git a/kern/ipc_kobject.c b/kern/ipc_kobject.c -index 709ec9e..1d59f0c 100644 ---- a/kern/ipc_kobject.c -+++ b/kern/ipc_kobject.c -@@ -56,6 +56,7 @@ - #include <device/device_pager.server.h> - #include <kern/mach4.server.h> - #include <kern/gnumach.server.h> -+#include <kern/experimental.server.h> - - #if MACH_DEBUG - #include <kern/mach_debug.server.h> diff --git a/debian/patches/series b/debian/patches/series index c8a3f31..40ca28c 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -3,7 +3,6 @@ 50_initrd.patch 60_bigmem.patch 70_dde.patch -75_dde_fixup.patch #vm_cache_policy.patch #vm_page_cleanq.patch |