From a5e95167d9edeef2a42ce02d6c6947ca698c0aca Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 7 Aug 2012 22:26:34 +0200
Subject: [PATCH] L4Lx: downsize priority of multi-linux instances

---
 ports-foc/run/multi_linux.run | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ports-foc/run/multi_linux.run b/ports-foc/run/multi_linux.run
index d694c7d79a..28be77bcca 100644
--- a/ports-foc/run/multi_linux.run
+++ b/ports-foc/run/multi_linux.run
@@ -100,7 +100,7 @@ append config {
 			<launcher>
 				<filename>init</filename>
 				<ram_quota>70M</ram_quota>
-				<config>
+				<config prio_levels="2">
 					<parent-provides>
 						<service name="ROM"/>
 						<service name="RAM"/>
@@ -134,7 +134,7 @@ append config {
 							<service name="Framebuffer"/>
 						</provides>
 					</start>
-					<start name="l4linux">
+					<start name="l4linux" priority="-1">
 						<resource name="RAM" quantum="1G"/>
 						<config args="mem=52M l4x_rd=initrd.gz"/>
 					</start>