From 508e0bdfbffd92e79cfda071634a2736efc22254 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 28 Mar 2024 11:30:51 +0100
Subject: [PATCH] sculpt: introduce config/manager

The new 'manager' config allows for the passing of configuration data the
sculpt manager without the need to modify the config/leitzentrale subsystem.

Issue #5166
---
 repos/gems/run/sculpt.run              | 1 +
 repos/gems/sculpt/leitzentrale/default | 3 ++-
 repos/gems/sculpt/leitzentrale/phone   | 3 ++-
 repos/gems/sculpt/manager/default      | 1 +
 repos/gems/sculpt/manager/phone        | 1 +
 repos/gems/sculpt/phone-linux.sculpt   | 1 +
 6 files changed, 8 insertions(+), 2 deletions(-)
 create mode 100644 repos/gems/sculpt/manager/default
 create mode 100644 repos/gems/sculpt/manager/phone

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index ccd655ddef..3a7b4fbe63 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -750,6 +750,7 @@ set required_configs {
 	usb
 	system
 	ram_fs
+	manager
 }
 
 foreach config $required_configs {
diff --git a/repos/gems/sculpt/leitzentrale/default b/repos/gems/sculpt/leitzentrale/default
index d9fbc1e9f2..efeecf3142 100644
--- a/repos/gems/sculpt/leitzentrale/default
+++ b/repos/gems/sculpt/leitzentrale/default
@@ -228,8 +228,9 @@
 				<binary name="sculpt_manager"/>
 				<resource name="RAM" quantum="3M"/>
 				<provides> <service name="Gui"/> </provides>
-				<config/>
 				<route>
+					<service name="ROM" label="config">
+						<parent label="config -> manager"/> </service>
 					<service name="Report" label="runtime_config">
 						<child name="config_fs_report" label="managed -> runtime"/> </service>
 					<service name="Report" label="deploy_config">
diff --git a/repos/gems/sculpt/leitzentrale/phone b/repos/gems/sculpt/leitzentrale/phone
index 6aef279a55..04759365e9 100644
--- a/repos/gems/sculpt/leitzentrale/phone
+++ b/repos/gems/sculpt/leitzentrale/phone
@@ -120,8 +120,9 @@
 				<binary name="phone_manager"/>
 				<resource name="RAM" quantum="3M"/>
 				<provides> <service name="Gui"/> </provides>
-				<config ld_verbose="yes" verbose_modem="no"/>
 				<route>
+					<service name="ROM" label="config">
+						<parent label="config -> manager"/> </service>
 					<service name="Report" label="runtime_config">
 						<child name="config_fs_report" label="managed -> runtime"/> </service>
 					<service name="Report" label="deploy_config">
diff --git a/repos/gems/sculpt/manager/default b/repos/gems/sculpt/manager/default
new file mode 100644
index 0000000000..d99062ad94
--- /dev/null
+++ b/repos/gems/sculpt/manager/default
@@ -0,0 +1 @@
+<config/>
diff --git a/repos/gems/sculpt/manager/phone b/repos/gems/sculpt/manager/phone
new file mode 100644
index 0000000000..53413ddd53
--- /dev/null
+++ b/repos/gems/sculpt/manager/phone
@@ -0,0 +1 @@
+<config verbose_modem="no"/>
diff --git a/repos/gems/sculpt/phone-linux.sculpt b/repos/gems/sculpt/phone-linux.sculpt
index c6a54f002a..835449f01d 100644
--- a/repos/gems/sculpt/phone-linux.sculpt
+++ b/repos/gems/sculpt/phone-linux.sculpt
@@ -1,5 +1,6 @@
 drivers:      phone_linux
 leitzentrale: phone
+manager:      phone
 nitpicker:    phone
 fonts:        phone
 event_filter: phone_linux