From d0eaca99158fd4ceb746b659c81efb06cedce1e2 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 22 Aug 2013 20:51:19 +0200
Subject: [PATCH] hw: don't unmask timer IRQ on any kernel pass

ref #855
---
 base-hw/src/core/kernel.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/base-hw/src/core/kernel.cc b/base-hw/src/core/kernel.cc
index 7b6fa854d..e58fb0810 100644
--- a/base-hw/src/core/kernel.cc
+++ b/base-hw/src/core/kernel.cc
@@ -1457,6 +1457,9 @@ extern "C" void kernel()
 
 		Genode::printf("Kernel started!\n");
 
+		/* enable kernel timer */
+		pic()->unmask(Timer::IRQ);
+
 		/* compose kernel CPU context */
 		static Cpu::Context kernel_context;
 		kernel_context.ip = (addr_t)kernel;
@@ -1499,7 +1502,6 @@ extern "C" void kernel()
 
 	/* limit user mode execution in time */
 	timer()->start_one_shot(user_time);
-	pic()->unmask(Timer::IRQ);
 
 	/* will jump to the context related mode-switch */
 	next->scheduled_next();