diff options
-rw-r--r-- | debian/patches/90_fix_build_xen_console_h.patch | 14 | ||||
-rw-r--r-- | debian/patches/series | 2 |
2 files changed, 1 insertions, 15 deletions
diff --git a/debian/patches/90_fix_build_xen_console_h.patch b/debian/patches/90_fix_build_xen_console_h.patch deleted file mode 100644 index 33154c4..0000000 --- a/debian/patches/90_fix_build_xen_console_h.patch +++ /dev/null @@ -1,14 +0,0 @@ -diff --git a/xen/console.h b/xen/console.h -index 2b78f29..061ba28 100644 ---- a/xen/console.h -+++ b/xen/console.h -@@ -21,7 +21,9 @@ - #include <machine/xen.h> - #include <string.h> - -+#include <mach/port.h> - #include <device/cons.h> -+#include <device/io_req.h> - - #define hyp_console_write(str, len) hyp_console_io (CONSOLEIO_write, (len), kvtolin(str)) - diff --git a/debian/patches/series b/debian/patches/series index c2adaf2..ba1e585 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -3,4 +3,4 @@ 50_initrd.patch 60_bigmem.patch 70_dde.patch -90_fix_build_xen_console_h.patch + |