1 files changed, 1 insertions, 4 deletions
diff --git a/kernel/kmain.c b/kernel/kmain.c
index 1828ad2..5b2fe91 100644
--- a/kernel/kmain.c
+++ b/kernel/kmain.c
@@ -1,13 +1,10 @@
 #include <kernel/con.h>
 #include <kernel/memory.h>
+#include <kernel/sched.h>
 #include <kernel/sys.h>
 #include <stdint.h>
 #include <sys/types.h>
 
-extern void userspace_init(void);
-
-uint32_t ticks = 0;
-
 void kmain(void) {
   con_init();