From 78fef1a4826a5b94554c85ffb3134d9403ed1d42 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Tue, 17 Dec 2013 12:48:51 +0100
Subject: add 90_fix_build_xen_console_h.patch

---
 debian/patches/90_fix_build_xen_console_h.patch | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 debian/patches/90_fix_build_xen_console_h.patch

(limited to 'debian/patches')

diff --git a/debian/patches/90_fix_build_xen_console_h.patch b/debian/patches/90_fix_build_xen_console_h.patch
new file mode 100644
index 0000000..92811c2
--- /dev/null
+++ b/debian/patches/90_fix_build_xen_console_h.patch
@@ -0,0 +1,14 @@
+diff --git a/xen/console.h b/xen/console.h
+index 2b78f29..6088812 100644
+--- a/xen/console.h
++++ b/xen/console.h
+@@ -21,7 +21,9 @@
+ #include <machine/xen.h>
+ #include <string.h>
+ 
++#include <mach.h>
+ #include <device/cons.h>
++#include <device/io_req.h>
+ 
+ #define hyp_console_write(str, len)	hyp_console_io (CONSOLEIO_write, (len), kvtolin(str))
+ 
-- 
cgit v1.2.3