Kernel/Time: Improve time keeping

This makes use of TSC and now provides a file system interface for
userland programs to change the system time.

1 files changed, 8 insertions, 0 deletions

diff --git a/kernel/timer.h b/kernel/timer.h
new file mode 100644
index 0000000..33c04ce
--- /dev/null
+++ b/kernel/timer.h
@@ -0,0 +1,8 @@
+#include <arch/i386/tsc.h>
+#include <drivers/cmos.h>
+
+void timer_init(void);
+void timer_get(struct timespec *tp);
+u64 timer_get_uptime(void);
+u64 timer_get_ms(void);
+int timer_add_clock(void);