Index: kernel/arch/mips32/include/arch/debugger.h
===================================================================
--- kernel/arch/mips32/include/arch/debugger.h	(revision 3ec2acc5fe46d047e352ebba9dfc534ee35a9ca4)
+++ kernel/arch/mips32/include/arch/debugger.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
@@ -38,4 +38,5 @@
 #include <arch/exception.h>
 #include <typedefs.h>
+#include <stdbool.h>
 
 #define BKPOINTS_MAX 10
Index: kernel/arch/mips32/include/arch/mm/km.h
===================================================================
--- kernel/arch/mips32/include/arch/mm/km.h	(revision 3ec2acc5fe46d047e352ebba9dfc534ee35a9ca4)
+++ kernel/arch/mips32/include/arch/mm/km.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
@@ -36,4 +36,5 @@
 #define KERN_mips32_KM_H_
 
+#include <stdbool.h>
 #include <typedefs.h>
 
Index: kernel/arch/mips32/include/arch/mm/tlb.h
===================================================================
--- kernel/arch/mips32/include/arch/mm/tlb.h	(revision 3ec2acc5fe46d047e352ebba9dfc534ee35a9ca4)
+++ kernel/arch/mips32/include/arch/mm/tlb.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
@@ -36,8 +36,9 @@
 #define KERN_mips32_TLB_H_
 
-#include <typedefs.h>
 #include <arch/mm/asid.h>
 #include <arch/exception.h>
+#include <stdbool.h>
 #include <trace.h>
+#include <typedefs.h>
 
 #if defined(PROCESSOR_R4000)