From 5036b96c11172ae4381cfccac9c4f1caa536688b Mon Sep 17 00:00:00 2001 From: Reto Buerki Date: Tue, 14 Apr 2015 17:59:37 +0200 Subject: [PATCH] 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 --- repos/base-hw/src/core/include/spec/x86_64_muen/timer.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-hw/src/core/include/spec/x86_64_muen/timer.h b/repos/base-hw/src/core/include/spec/x86_64_muen/timer.h index e5e3c4b233..e28870ac15 100644 --- a/repos/base-hw/src/core/include/spec/x86_64_muen/timer.h +++ b/repos/base-hw/src/core/include/spec/x86_64_muen/timer.h @@ -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; }