1 files changed, 0 insertions, 17 deletions
diff --git a/kernel/inc/timer.h b/kernel/inc/timer.h
deleted file mode 100644
index 0712e37..0000000
--- a/kernel/inc/timer.h
+++ /dev/null
@@ -1,17 +0,0 @@
-// MIT License, Copyright (c) 2020 Marvin Borner
-
-#ifndef TIMER_H
-#define TIMER_H
-
-#include <def.h>
-#include <interrupts.h>
-
-u32 timer_get(void);
-void timer_wait(u32 ticks);
-void timer_install(void);
-void timer_handler(struct regs *r) NONNULL;
-
-void scheduler_enable(void);
-void scheduler_disable(void);
-
-#endif