diff cos/kernel/timer.c @ 34:8012221dd740

Fixes for uninitialized data. This causes problems on real machines
author windel
date Mon, 16 Jan 2012 13:46:06 +0100
parents 47b7df514243
children
line wrap: on
line diff
--- a/cos/kernel/timer.c	Sun Jan 15 13:39:49 2012 +0100
+++ b/cos/kernel/timer.c	Mon Jan 16 13:46:06 2012 +0100
@@ -13,3 +13,8 @@
   return 55*ticks;
 }
 
+void timer_init()
+{
+   ticks = 0;
+}
+