Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision 0cb47cf9e679a005ef1f1554a8df7d386a703a2b)
+++ kernel/arch/mips32/src/mips32.c	(revision ffe276fd1c1ea964dc2d354c5002620c06e9e3ac)
@@ -36,4 +36,5 @@
 #include <arch/cp0.h>
 #include <arch/exception.h>
+#include <arch/debug.h>
 #include <mm/as.h>
 #include <userspace.h>