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