Index: boot/arch/mips32/src/main.c
===================================================================
--- boot/arch/mips32/src/main.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ boot/arch/mips32/src/main.c	(revision dbcaa2d2431cd6c5df4a3aae6ef36a8262c9000f)
@@ -30,4 +30,5 @@
 #include <arch/arch.h>
 #include <arch/asm.h>
+#include <arch/types.h>
 #include <halt.h>
 #include <printf.h>