1 files changed, 0 insertions, 3 deletions
diff --git a/kernel.c b/kernel.c
index 2fd5d71..9a9d989 100644
--- a/kernel.c
+++ b/kernel.c
@@ -1,7 +1,4 @@
-#include <stddef.h>
-#include <stdint.h>
 #include <uart.h>
-#include <global.h>
 
 void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags)
 {