1 files changed, 11 insertions, 0 deletions
diff --git a/stubdom/grub/config.h b/stubdom/grub/config.h
new file mode 100644
index 0000000000..dcb2e7a15c
--- /dev/null
+++ b/stubdom/grub/config.h
@@ -0,0 +1,11 @@
+#include <stdio.h>
+#undef putchar
+#include <ctype.h>
+#include <string.h>
+#define debug _debug
+#define grub_halt(a) do_exit()
+#define printf grub_printf
+void kexec(void *kernel, long kernel_size, void *module, long module_size, char *cmdline);
+struct fbfront_dev *fb_open(void *fb, int width, int height, int depth);
+void fb_close(void);
+void pv_boot (void);