Index: kernel/arch/mips32/src/start.S
===================================================================
--- kernel/arch/mips32/src/start.S	(revision 996df18957f8ec64ed5b5eda1158bdd4a893d388)
+++ kernel/arch/mips32/src/start.S	(revision 7e3581ecf631d2820fa61e8b4bcebda9fac7a246)
@@ -30,5 +30,4 @@
 #include <arch/mm/page.h>
 #include <arch/asm/boot.h>
-#include <arch/context_offset.h>
 #include <arch/stack.h>
 #include <arch/istate_struct.h>