From 5e75ac4f87e643eebdfb3f4c446fe18bd7a4b428 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 9 Jan 2017 12:18:17 +0100
Subject: [PATCH] timeout: change timer resolution from 100 to 5 ms

Issue #2225
---
 repos/os/include/os/timer.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/include/os/timer.h b/repos/os/include/os/timer.h
index c74502cb77..8d1639302d 100644
--- a/repos/os/include/os/timer.h
+++ b/repos/os/include/os/timer.h
@@ -34,7 +34,7 @@ class Genode::Timer_time_source : public Genode::Time_source
 {
 	private:
 
-		enum { MIN_TIMEOUT_US = 100000 };
+		enum { MIN_TIMEOUT_US = 5000 };
 
 		using Signal_handler = Genode::Signal_handler<Timer_time_source>;