diff cos/kernel/timer.c @ 24:d8627924d40d

Split up in more files and reboot command
author windel
date Fri, 02 Dec 2011 14:00:02 +0100
parents
children d3c4bf3720a3
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cos/kernel/timer.c	Fri Dec 02 14:00:02 2011 +0100
@@ -0,0 +1,14 @@
+#include "kernel.h"
+
+static uint64_t ticks = 0;
+
+void timerDriverUpdate()
+{
+  ticks++;
+}
+
+uint64_t getTimeMS()
+{
+  return 55*ticks;
+}
+