1 files changed, 0 insertions, 37 deletions
diff --git a/debian/patches/700009-Fix-xen-build.patch b/debian/patches/700009-Fix-xen-build.patch
deleted file mode 100644
index 6e9d07b..0000000
--- a/debian/patches/700009-Fix-xen-build.patch
+++ /dev/null
@@ -1,37 +0,0 @@
-From 7debcbf8fb5b5b99e5a0b48ec6e9672455237938 Mon Sep 17 00:00:00 2001
-From: Justus Winter <justus@gnupg.org>
-Date: Fri, 26 Feb 2016 15:32:12 +0100
-Subject: [PATCH gnumach 09/15] Fix xen build
-
----
- device/intr.c | 9 +++++++++
- 1 file changed, 9 insertions(+)
-
-diff --git a/device/intr.c b/device/intr.c
-index 7a1eccb..a061d5e 100644
---- a/device/intr.c
-+++ b/device/intr.c
-@@ -1,6 +1,7 @@
- #include <device/intr.h>
- #include <device/ds_routines.h>
- #include <ipc/ipc_space.h>
-+#include <kern/debug.h>
- #include <kern/queue.h>
- #include <kern/printf.h>
- #include <mach/notify.h>
-@@ -274,4 +275,12 @@ intr_thread ()
-     }
- }
- 
-+#else	/* MACH_XEN */
-+
-+boolean_t
-+intr_entry_notify (mach_msg_header_t *msg)
-+{
-+  panic ("not reached");
-+}
-+
- #endif	/* MACH_XEN */
--- 
-2.1.4
-