diff --git a/repos/base-hw/src/core/include/spec/x86/timer.h b/repos/base-hw/src/core/include/spec/x86/timer.h
index 6bcc3e515..67a81cf4e 100644
--- a/repos/base-hw/src/core/include/spec/x86/timer.h
+++ b/repos/base-hw/src/core/include/spec/x86/timer.h
@@ -48,7 +48,7 @@ class Genode::Timer
 		static uint32_t ms_to_tics(unsigned const ms)
 		{
 			PDBG("not implemented");
-			return 0;
+			return 10000;
 		}
 
 		unsigned value(unsigned)