Index: kernel/test/debug/mips1.c
===================================================================
--- kernel/test/debug/mips1.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/test/debug/mips1.c	(revision d57c7c22ec10cecc3ee30ee28e44f7702e425a37)
@@ -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)