From 34c7085ada4d71fa4b6b719d9639761423267e71 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 25 May 2023 18:48:26 +0200
Subject: [PATCH] sculpt.run: whitespace

---
 repos/gems/run/sculpt.run | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index f06d2cf294..f5e722a247 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -156,15 +156,15 @@ proc log_route { } {
 proc nic_driver_routes { } {
 
 	set result(pc) {
-		<service name="ROM" label="nic_drv">  <parent label="ipxe_nic_drv"/> </service>
-		<service name="ROM" label="wifi.lib.so"> <parent label="pc_wifi.lib.so"/> </service>
+		<service name="ROM" label="nic_drv">           <parent label="ipxe_nic_drv"/> </service>
+		<service name="ROM" label="wifi.lib.so">       <parent label="pc_wifi.lib.so"/> </service>
 		<service name="ROM" label="wifi_firmware.tar"> <parent label="pc_wifi_firmware.tar"/> </service>
 	}
 
 	set result(mnt_reform2) {
-		<service name="ROM" label="nic_drv">     <parent label="fec_nic_drv"/> </service>
-		<service name="ROM" label="nic_drv.dtb"> <parent label="fec_nic_drv-mnt_reform2.dtb"/> </service>
-		<service name="ROM" label="wifi.lib.so">     <parent label="imx8mq_wifi.lib.so"/> </service>
+		<service name="ROM" label="nic_drv">           <parent label="fec_nic_drv"/> </service>
+		<service name="ROM" label="nic_drv.dtb">       <parent label="fec_nic_drv-mnt_reform2.dtb"/> </service>
+		<service name="ROM" label="wifi.lib.so">       <parent label="imx8mq_wifi.lib.so"/> </service>
 		<service name="ROM" label="wifi_firmware.tar"> <parent label="imx8mq_wifi_firmware.tar"/> </service>
 	}
 
@@ -174,8 +174,8 @@ proc nic_driver_routes { } {
 	}
 
 	set result(pinephone) {
-		<service name="ROM" label="wifi.lib.so">     <parent label="a64_wifi.lib.so"/> </service>
-		<service name="ROM" label="wifi_drv.dtb">    <parent label="wifi-pinephone.dtb"/> </service>
+		<service name="ROM" label="wifi.lib.so">       <parent label="a64_wifi.lib.so"/> </service>
+		<service name="ROM" label="wifi_drv.dtb">      <parent label="wifi-pinephone.dtb"/> </service>
 		<service name="ROM" label="wifi_firmware.tar"> <parent label="a64_wifi_firmware.tar"/> </service>
 	}