1 files changed, 2 insertions, 0 deletions
diff --git a/kern/debug.c b/kern/debug.c
index e81c6a2..2c9e761 100644
--- a/kern/debug.c
+++ b/kern/debug.c
@@ -33,6 +33,8 @@
 
 #include <kern/debug.h>
 
+#include <machine/model_dep.h>
+
 extern void cnputc();
 void Debugger() __attribute__ ((noreturn));