Index: kernel/test/fault/fault1.c
===================================================================
--- kernel/test/fault/fault1.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/test/fault/fault1.c	(revision 790f3a3a7e4d0de0dc62be56505cd98a8966eaef)
@@ -28,12 +28,5 @@
  */
 
-#include <print.h>
-#include <debug.h>
-
 #include <test.h>
-#include <atomic.h>
-#include <proc/thread.h>
-
-#include <arch.h>
 
 const char *test_fault1(void)