hw_x86_64_muen: Add fake Timer::ms_to_tics impl

This makes the scheduler happy and it starts scheduling threads:

Booting Muen kernel v0.6.0-329-gdd545fe-UNCLEAN
0004|kernel initialized
0004|Genode 14.11-400-gecee95b
0004|int main(): --- start init ---
0004|[init -> test-printf] -1 = -1 = -1
This commit is contained in:
Reto Buerki 2015-04-14 17:59:37 +02:00 committed by Stefan Kalkowski
parent 21fb356cd4
commit 5036b96c11
1 changed files with 1 additions and 1 deletions

View File

@ -34,7 +34,7 @@ class Genode::Timer
inline void start_one_shot(uint32_t const tics, unsigned) { }
uint32_t ms_to_tics(unsigned const ms) { return 0; }
uint32_t ms_to_tics(unsigned const ms) { return 1000; }
unsigned value(unsigned) { return 0; }