Index: kernel/arch/mips32/src/start.S
===================================================================
--- kernel/arch/mips32/src/start.S	(revision 996df18957f8ec64ed5b5eda1158bdd4a893d388)
+++ kernel/arch/mips32/src/start.S	(revision 571f3e1ac950faa8d358abf006fa270d4068d5a4)
@@ -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>