From ecd7ff80b84feb8296899e3675aa842603e66f2d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 4 Apr 2018 14:50:49 +0200
Subject: [PATCH] sculpt: add rudimentary GUI components

This patch enhances the default deploy scenario with the themed window
manager, a backdrop, and the (commented-out) nano3d demo.
---
 .../recipes/pkg/sculpt-installation/archives  |  3 +++
 repos/gems/run/sculpt.run                     | 26 ++++++++++++++++---
 2 files changed, 26 insertions(+), 3 deletions(-)

diff --git a/repos/gems/recipes/pkg/sculpt-installation/archives b/repos/gems/recipes/pkg/sculpt-installation/archives
index 7887d7d17..e80bbedd2 100644
--- a/repos/gems/recipes/pkg/sculpt-installation/archives
+++ b/repos/gems/recipes/pkg/sculpt-installation/archives
@@ -7,3 +7,6 @@ _/pkg/rom_filter
 _/pkg/rom_reporter
 _/pkg/nic_router-nat
 _/pkg/vbox5-nova-sculpt
+_/pkg/themed_wm
+_/pkg/sticks_blue_backdrop
+_/pkg/nano3d
diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index 320fa4064..87a238ba5 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -560,9 +560,21 @@ append depot_deploy_config {
 		</route>
 	</start>
 
-	<start name="noux" pkg="} [depot_user]/pkg/[current_pkg noux-system] {">
+	<start name="wm" pkg="} [depot_user]/pkg/[current_pkg themed_wm] {">
 		<route>
 			<service name="Nitpicker"> <parent/> </service>
+		</route>
+	</start>
+
+	<start name="backdrop" pkg="} [depot_user]/pkg/[current_pkg sticks_blue_backdrop] {">
+		<route>
+			<service name="Nitpicker"> <parent label="backdrop"/> </service>
+		</route>
+	</start>
+
+	<start name="noux" pkg="} [depot_user]/pkg/[current_pkg noux-system] {">
+		<route>
+			<service name="Nitpicker"> <child name="wm"/> </service>
 			<service name="File_system" label="config">
 				<parent label="config"/> </service>
 			<service name="File_system" label="report">
@@ -573,6 +585,14 @@ append depot_deploy_config {
 		</route>
 	</start>
 
+<!--
+	<start name="nano3d" pkg="} [depot_user]/pkg/[current_pkg nano3d] {">
+		<route>
+			<service name="Nitpicker"> <child name="wm"/> </service>
+		</route>
+	</start>
+-->
+
 <!--
 	<start name="nic_drv" pkg="} [depot_user]/pkg/[current_pkg wifi] {">
 		<route>
@@ -633,8 +653,8 @@ append depot_deploy_config {
 			<service name="ROM"    label="capslock"> <parent label="capslock"/> </service>
 			<service name="ROM"    label="platform_info"> <parent/> </service>
 			<service name="ROM"    label="usb_devices"> <child name="usb_devices_rom"/> </service>
-			<service name="Report" label="shape"> <parent label="vm -> shape"/> </service>
-			<service name="Nitpicker"> <parent/> </service>
+			<service name="Report" label="shape"> <parent label="wm -> wm -> vm -> shape"/> </service>
+			<service name="Nitpicker"> <child name="wm"/> </service>
 			<service name="Nic">       <child name="nic_router"/> </service>
 			<service name="Report"> <parent/> </service>
 			<service name="RM">     <parent/> </service>