diff --git a/kernel/main.c b/kernel/main.c
index 2aeca75..24fe214 100644
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -1,7 +1,3 @@
-#include "types.h"
-#include "param.h"
-#include "memlayout.h"
-#include "riscv.h"
 #include "defs.h"
 
 volatile static int started = 0;