Index: kernel/test/fault/fault1.c
===================================================================
--- kernel/test/fault/fault1.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/test/fault/fault1.c	(revision ad2cf042bea2029414bd5597a2ce547b208ff957)
@@ -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)