From f3e85eedc434da973267f360abdbb79cb6f24100 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 1 Jul 2021 21:13:01 +0200
Subject: Timing is everything

---
 kernel/inc/drivers/timer.h | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 kernel/inc/drivers/timer.h

(limited to 'kernel/inc/drivers/timer.h')

diff --git a/kernel/inc/drivers/timer.h b/kernel/inc/drivers/timer.h
deleted file mode 100644
index ea1643b..0000000
--- a/kernel/inc/drivers/timer.h
+++ /dev/null
@@ -1,12 +0,0 @@
-// MIT License, Copyright (c) 2020 Marvin Borner
-
-#ifndef TIMER_H
-#define TIMER_H
-
-#include <def.h>
-
-u32 timer_get(void);
-void timer_wait(u32 ticks);
-void timer_install(void);
-
-#endif
-- 
cgit v1.2.3