Index: kernel/test/debug/mips1.c
===================================================================
--- kernel/test/debug/mips1.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/test/debug/mips1.c	(revision 9c26ef0ab86146cbf34945fa1e96ad602fa9c891)
@@ -27,13 +27,5 @@
  */
 
-#include <print.h>
-#include <debug.h>
-
 #include <test.h>
-#include <atomic.h>
-#include <proc/thread.h>
-#include <time/delay.h>
-
-#include <arch.h>
 
 const char *test_mips1(void)
