1 diff -ur xen-4.3.1.orig/stubdom/grub/config.h xen-4.3.1/stubdom/grub/config.h
2 --- stubdom/grub/config.h 2013-10-30 16:18:28.000000000 +0800
3 +++ stubdom/grub/config.h 2013-12-09 17:12:14.209783970 +0800
10 #define grub_halt(a) do_exit()
11 #define printf grub_printf
12 diff -ur xen-4.3.1.orig/xen/include/xen/libelf.h xen-4.3.1/xen/include/xen/libelf.h
13 --- xen/include/xen/libelf.h 2013-10-30 16:18:28.000000000 +0800
14 +++ xen/include/xen/libelf.h 2013-12-09 17:14:09.249788085 +0800
17 #include <public/elfnote.h>
18 #include <public/features.h>
19 +#include <xen/string.h>
20 #include <xen/stdbool.h>
22 #include <xen/elfnote.h>
30 typedef void elf_log_callback(struct elf_binary*, void *caller_data,