From 22f0ab926b5a09fffde98eb74f287a9b53221451 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 15 Apr 2024 14:31:35 +0200
Subject: [PATCH] sculpt: adjust leitzentrale priorities

---
 repos/gems/sculpt/launcher/black_hole         |  1 -
 .../gems/sculpt/launcher/download_debug_info  |  2 +-
 repos/gems/sculpt/launcher/nano3d             |  2 +-
 .../gems/sculpt/launcher/sticks_blue_backdrop |  2 +-
 repos/gems/sculpt/launcher/system_shell       |  2 +-
 repos/gems/sculpt/launcher/trace_logger       |  2 +-
 repos/gems/sculpt/leitzentrale/default        | 27 ++++++++++---------
 7 files changed, 19 insertions(+), 19 deletions(-)

diff --git a/repos/gems/sculpt/launcher/black_hole b/repos/gems/sculpt/launcher/black_hole
index f42cfd3e37..3bb2ec098b 100644
--- a/repos/gems/sculpt/launcher/black_hole
+++ b/repos/gems/sculpt/launcher/black_hole
@@ -1,3 +1,2 @@
-
 <launcher priority="-2" pkg="black_hole">
 </launcher>
diff --git a/repos/gems/sculpt/launcher/download_debug_info b/repos/gems/sculpt/launcher/download_debug_info
index 9d208a0114..dac7938c24 100644
--- a/repos/gems/sculpt/launcher/download_debug_info
+++ b/repos/gems/sculpt/launcher/download_debug_info
@@ -1,4 +1,4 @@
-<launcher pkg="dbg_download">
+<launcher pkg="dbg_download" priority="-2">
 	<route>
 		<service name="File_system" label="system_config">
 			<parent label="config"/>
diff --git a/repos/gems/sculpt/launcher/nano3d b/repos/gems/sculpt/launcher/nano3d
index 6f5be9f8a7..97449d4673 100644
--- a/repos/gems/sculpt/launcher/nano3d
+++ b/repos/gems/sculpt/launcher/nano3d
@@ -1,4 +1,4 @@
-<launcher pkg="nano3d">
+<launcher pkg="nano3d" priority="-1">
 	<route>
 		<service name="Gui"> <child name="wm"/> </service>
 	</route>
diff --git a/repos/gems/sculpt/launcher/sticks_blue_backdrop b/repos/gems/sculpt/launcher/sticks_blue_backdrop
index 29045f20bb..aa9c0aa7aa 100644
--- a/repos/gems/sculpt/launcher/sticks_blue_backdrop
+++ b/repos/gems/sculpt/launcher/sticks_blue_backdrop
@@ -1,4 +1,4 @@
-<launcher name="backdrop" pkg="sticks_blue_backdrop">
+<launcher name="backdrop" pkg="sticks_blue_backdrop" priority="-2">
 	<route>
 		<service name="Gui"> <parent label="backdrop"/> </service>
 	</route>
diff --git a/repos/gems/sculpt/launcher/system_shell b/repos/gems/sculpt/launcher/system_shell
index 3bb2b2dc8a..149c4855fb 100644
--- a/repos/gems/sculpt/launcher/system_shell
+++ b/repos/gems/sculpt/launcher/system_shell
@@ -1,4 +1,4 @@
-<launcher pkg="system_shell">
+<launcher pkg="system_shell" priority="-2">
 	<route>
 		<service name="Gui">                        <child name="wm"/>                </service>
 		<service name="File_system" label="fonts">  <child name="fonts_fs"/>          </service>
diff --git a/repos/gems/sculpt/launcher/trace_logger b/repos/gems/sculpt/launcher/trace_logger
index e80836aa81..0aa764b1f6 100644
--- a/repos/gems/sculpt/launcher/trace_logger
+++ b/repos/gems/sculpt/launcher/trace_logger
@@ -1,4 +1,4 @@
-<launcher pkg="trace_logger">
+<launcher pkg="trace_logger" priority="-2">
 
 	<route>
 		<!-- replace "global" by "runtime" to narrow the view -->
diff --git a/repos/gems/sculpt/leitzentrale/default b/repos/gems/sculpt/leitzentrale/default
index 7cb08bb673..be188f3047 100644
--- a/repos/gems/sculpt/leitzentrale/default
+++ b/repos/gems/sculpt/leitzentrale/default
@@ -3,6 +3,7 @@
 		<attribute name="enabled" /> </input>
 
 	<output node="config">
+		<attribute name="prio_levels" value="4"/>
 		<inline>
 			<parent-provides>
 				<service name="ROM"/>
@@ -42,7 +43,7 @@
 			<has_value input="leitzentrale_enabled" value="yes" />
 			<then>
 				<inline>
-					<start name="fader">
+					<start name="fader" priority="-1">
 						<binary name="gui_fader"/>
 						<resource name="RAM" quantum="50M"/>
 						<resource name="CPU" quantum="20"/>
@@ -57,7 +58,7 @@
 			</then>
 			<else>
 				<inline>
-					<start name="fader">
+					<start name="fader" priority="-1">
 						<binary name="gui_fader"/>
 						<resource name="RAM" quantum="50M"/>
 						<resource name="CPU" quantum="20"/>
@@ -72,7 +73,7 @@
 			</else>
 		</if>
 		<inline>
-			<start name="gui_fb">
+			<start name="gui_fb" priority="-1">
 				<resource name="RAM" quantum="18M"/>
 				<resource name="CPU" quantum="20"/>
 				<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
@@ -83,7 +84,7 @@
 				</route>
 			</start>
 
-			<start name="nitpicker" caps="200">
+			<start name="nitpicker" caps="200" priority="-1">
 				<resource name="RAM" quantum="14M"/>
 				<resource name="CPU" quantum="40"/>
 				<provides>
@@ -105,7 +106,7 @@
 				</route>
 			</start>
 
-			<start name="report_rom" caps="200">
+			<start name="report_rom" caps="200" priority="-1">
 				<resource name="RAM" quantum="4M"/>
 				<provides>
 					<service name="Report"/>
@@ -141,7 +142,7 @@
 				</config>
 			</start>
 
-			<start name="wm" caps="300">
+			<start name="wm" caps="300" priority="-1">
 				<resource name="RAM" quantum="4M"/>
 				<provides>
 					<service name="Gui"/> <service name="Report"/> <service name="ROM"/>
@@ -159,7 +160,7 @@
 				</route>
 			</start>
 
-			<start name="decorator" caps="350">
+			<start name="decorator" caps="350" priority="-1">
 				<binary name="themed_decorator"/>
 				<resource name="RAM" quantum="12M"/>
 				<resource name="CPU" quantum="20"/>
@@ -200,7 +201,7 @@
 				</route>
 			</start>
 
-			<start name="config_fs_report">
+			<start name="config_fs_report" priority="-1">
 				<binary name="fs_report"/>
 				<resource name="RAM" quantum="2M"/>
 				<provides> <service name="Report"/> </provides>
@@ -211,7 +212,7 @@
 				</route>
 			</start>
 
-			<start name="manager" caps="400">
+			<start name="manager" caps="400" priority="-1">
 				<binary name="sculpt_manager"/>
 				<resource name="RAM" quantum="3M"/>
 				<provides> <service name="Gui"/> </provides>
@@ -252,7 +253,7 @@
 				</route>
 			</start>
 
-			<start name="fonts_fs" caps="100">
+			<start name="fonts_fs" caps="100" priority="-1">
 				<binary name="vfs"/>
 				<resource name="RAM" quantum="4M"/>
 				<provides> <service name="File_system"/> </provides>
@@ -263,7 +264,7 @@
 				</route>
 			</start>
 
-			<start name="log_terminal">
+			<start name="log_terminal" priority="-1">
 				<binary name="terminal"/>
 				<resource name="RAM" quantum="8M"/>
 				<provides> <service name="Terminal"/> </provides>
@@ -288,7 +289,7 @@
 				</route>
 			</start>
 
-			<start name="log" caps="100">
+			<start name="log" caps="100" priority="-1">
 				<binary name="stdin2out"/>
 				<resource name="RAM" quantum="2M" />
 				<config>
@@ -304,7 +305,7 @@
 				</route>
 			</start>
 
-			<start name="backdrop" caps="150">
+			<start name="backdrop" caps="150" priority="-1">
 				<resource name="RAM" quantum="4M" />
 				<config width="300" height="150">
 					<libc/>