comparison cos/kernel/timer.c @ 28:47b7df514243

Moved Makefiles
author windel
date Wed, 28 Dec 2011 13:38:43 +0100
parents d3c4bf3720a3
children 8012221dd740
comparison
equal deleted inserted replaced
27:7f74363f4c82 28:47b7df514243
2 2
3 static uint64_t ticks = 0; 3 static uint64_t ticks = 0;
4 4
5 void timerDriverUpdate() 5 void timerDriverUpdate()
6 { 6 {
7 ticks++; 7 ticks++;
8 task_scheduler(); 8 task_scheduler();
9 } 9 }
10 10
11 uint64_t getTimeMS() 11 uint64_t getTimeMS()
12 { 12 {
13 return 55*ticks; 13 return 55*ticks;