aboutsummaryrefslogtreecommitdiffstats
path: root/stubdom/grub
diff options
context:
space:
mode:
Diffstat (limited to 'stubdom/grub')
-rw-r--r--stubdom/grub/config.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/stubdom/grub/config.h b/stubdom/grub/config.h
index 1649d51459..15a6583999 100644
--- a/stubdom/grub/config.h
+++ b/stubdom/grub/config.h
@@ -2,6 +2,7 @@
#undef putchar
#include <ctype.h>
#include <string.h>
+#include <kernel.h>
#define debug _debug
#define grub_halt(a) do_exit()
#define printf grub_printf