From 609a065503dc9cf787d076061543a124b7c468b9 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 18 Mar 2024 12:37:32 +0100
Subject: [PATCH] Static IP config in lighttpd.run on base-linux

---
 repos/ports/run/lighttpd.run | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/repos/ports/run/lighttpd.run b/repos/ports/run/lighttpd.run
index 9e124da041..1e69f303a5 100644
--- a/repos/ports/run/lighttpd.run
+++ b/repos/ports/run/lighttpd.run
@@ -7,17 +7,16 @@
 proc ip_stack { } { return lwip }
 
 proc socket_fs_plugin { } {
-	set result "<[ip_stack]"
+	return "<[ip_stack] dhcp=\"yes\"/>"
+}
 
+proc nic_router_uplink { } {
+	# static IP config on Linux
 	if {[have_spec linux]} {
-		append result { ip_addr="10.0.2.55" netmask="255.255.255.0"}
-		append result { gateway="10.0.2.1" nameserver="1.1.1.1"}
+		return {<domain name="uplink" interface="10.0.2.55/24" gateway="10.0.2.1">}
 	} else {
-		append result { dhcp="yes"}
+		return {<domain name="uplink">}
 	}
-
-	append result {/>}
-	return $result
 }
 
 create_boot_directory
@@ -79,7 +78,7 @@ install_config {
 			<policy label_prefix="lighttpd" domain="downlink"/>
 			<policy label_prefix="nic_drv"  domain="uplink"/>
 
-			<domain name="uplink">
+			} [nic_router_uplink] {
 
 				<nat domain="downlink"
 				     tcp-ports="16384"