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 e5e3c4b23..e28870ac1 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; }