From 3a7773073dc30a5eee4aaf140e5dcb90ceda5045 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 25 Aug 2014 18:27:33 +0200
Subject: [PATCH] wm.run: use priorities for smoother rpi GUI

---
 repos/gems/run/wm.run | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/repos/gems/run/wm.run b/repos/gems/run/wm.run
index 5aff6d5c4..a9347a6bf 100644
--- a/repos/gems/run/wm.run
+++ b/repos/gems/run/wm.run
@@ -29,7 +29,7 @@ create_boot_directory
 #
 
 append config {
-<config>
+<config prio_levels="2">
 	<parent-provides>
 		<service name="ROM"/>
 		<service name="RAM"/>
@@ -145,7 +145,7 @@ append config {
 			<any-service> <parent/> <any-child/> </any-service>
 		</route>
 	</start>
-	<start name="wm">
+	<start name="wm" priority="-1">
 		<resource name="RAM" quantum="32M"/>
 		<provides><service name="Nitpicker"/></provides>
 		<route>
@@ -154,7 +154,7 @@ append config {
 			</any-service>
 		</route>
 	</start>
-	<start name="launchpad">
+	<start name="launchpad" priority="-1">
 		<resource name="RAM" quantum="20M"/>
 		<config>
 			<launcher name="nit_fb" ram_quota="7M">
@@ -173,7 +173,7 @@ append config {
 			</any-service>
 		</route>
 	</start>
-	<start name="backdrop">
+	<start name="backdrop" priority="-1">
 		<resource name="RAM" quantum="4M"/>
 		<config>
 			<libc>
@@ -192,7 +192,7 @@ append config {
 			</any-service>
 		</route>
 	</start>
-	<start name="wm_backdrop">
+	<start name="wm_backdrop" priority="-1">
 		<binary name="backdrop" />
 		<resource name="RAM" quantum="4M"/>
 		<config>