From 28abd7993c75c83b80b3a10ab063e7861daf91f3 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 10 Dec 2012 10:57:37 +0100
Subject: [PATCH] framebuffer: add missing timer

Fix #563
---
 os/run/framebuffer.run | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/os/run/framebuffer.run b/os/run/framebuffer.run
index 74987c71cf..c371df2eed 100755
--- a/os/run/framebuffer.run
+++ b/os/run/framebuffer.run
@@ -26,7 +26,12 @@ append config {
 	</parent-provides>
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>
-	</default-route>}
+	</default-route>
+
+	<start name="timer">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Timer"/></provides>
+	</start>}
 
 append_if [have_spec sdl] config {
 	<start name="fb_sdl">
@@ -56,10 +61,6 @@ append_if [have_spec pl11x] config {
 	</start>}
 
 append_if [have_spec omap4] config {
-	<start name="timer">
-		<resource name="RAM" quantum="1M"/>
-		<provides><service name="Timer"/></provides>
-	</start>
 	<start name="omap4_fb_drv">
 		<resource name="RAM" quantum="4M"/>
 		<provides><service name="Framebuffer"/></provides>