comparison 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
comparison
equal deleted inserted replaced
23:5dd47d6eebac 24:d8627924d40d
1 #include "kernel.h"
2
3 static uint64_t ticks = 0;
4
5 void timerDriverUpdate()
6 {
7 ticks++;
8 }
9
10 uint64_t getTimeMS()
11 {
12 return 55*ticks;
13 }
14