From 51875b89fdc1bef7a84e8b7a64506bc82087a3e7 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 29 Sep 2023 12:30:26 +0200
Subject: [PATCH] ports: add `socat_tcp` pkg

Issue #5007
---
 repos/ports/recipes/pkg/socat_tcp/README      |  1 +
 repos/ports/recipes/pkg/socat_tcp/archives    |  8 +++
 repos/ports/recipes/pkg/socat_tcp/hash        |  1 +
 repos/ports/recipes/pkg/socat_tcp/runtime     | 23 +++++++
 repos/ports/recipes/raw/socat_tcp/content.mk  |  4 ++
 repos/ports/recipes/raw/socat_tcp/hash        |  1 +
 .../recipes/raw/socat_tcp/socat_tcp.config    | 69 +++++++++++++++++++
 7 files changed, 107 insertions(+)
 create mode 100644 repos/ports/recipes/pkg/socat_tcp/README
 create mode 100644 repos/ports/recipes/pkg/socat_tcp/archives
 create mode 100644 repos/ports/recipes/pkg/socat_tcp/hash
 create mode 100644 repos/ports/recipes/pkg/socat_tcp/runtime
 create mode 100644 repos/ports/recipes/raw/socat_tcp/content.mk
 create mode 100644 repos/ports/recipes/raw/socat_tcp/hash
 create mode 100644 repos/ports/recipes/raw/socat_tcp/socat_tcp.config

diff --git a/repos/ports/recipes/pkg/socat_tcp/README b/repos/ports/recipes/pkg/socat_tcp/README
new file mode 100644
index 0000000000..8d14c23d39
--- /dev/null
+++ b/repos/ports/recipes/pkg/socat_tcp/README
@@ -0,0 +1 @@
+socat connecting a terminal session over TCP
diff --git a/repos/ports/recipes/pkg/socat_tcp/archives b/repos/ports/recipes/pkg/socat_tcp/archives
new file mode 100644
index 0000000000..dd2ba5c06a
--- /dev/null
+++ b/repos/ports/recipes/pkg/socat_tcp/archives
@@ -0,0 +1,8 @@
+_/raw/socat_tcp
+_/src/socat
+_/src/libc
+_/src/posix
+_/src/init
+_/src/vfs
+_/src/vfs_lwip
+_/src/cached_fs_rom
diff --git a/repos/ports/recipes/pkg/socat_tcp/hash b/repos/ports/recipes/pkg/socat_tcp/hash
new file mode 100644
index 0000000000..c0de5bbd4e
--- /dev/null
+++ b/repos/ports/recipes/pkg/socat_tcp/hash
@@ -0,0 +1 @@
+2023-09-29 0f576cd598c7e6a8d12d21d2653ed86c54913777
diff --git a/repos/ports/recipes/pkg/socat_tcp/runtime b/repos/ports/recipes/pkg/socat_tcp/runtime
new file mode 100644
index 0000000000..3e7399ec0d
--- /dev/null
+++ b/repos/ports/recipes/pkg/socat_tcp/runtime
@@ -0,0 +1,23 @@
+<runtime ram="76M" caps="1000" binary="init" config="socat_tcp.config">
+
+	<requires>
+		<timer/>
+		<nic/>
+		<terminal/>
+		<rm/>
+	</requires>
+
+	<content>
+		<rom label="socat_tcp.config"/>
+		<rom label="init"/>
+		<rom label="vfs"/>
+		<rom label="cached_fs_rom"/>
+		<rom label="socat.tar"/>
+		<rom label="libc.lib.so"/>
+		<rom label="libm.lib.so"/>
+		<rom label="posix.lib.so"/>
+		<rom label="vfs.lib.so"/>
+		<rom label="vfs_lwip.lib.so"/>
+	</content>
+
+</runtime>
diff --git a/repos/ports/recipes/raw/socat_tcp/content.mk b/repos/ports/recipes/raw/socat_tcp/content.mk
new file mode 100644
index 0000000000..d5a4eccd71
--- /dev/null
+++ b/repos/ports/recipes/raw/socat_tcp/content.mk
@@ -0,0 +1,4 @@
+content: socat_tcp.config
+
+socat_tcp.config:
+	cp $(REP_DIR)/recipes/raw/socat_tcp/$@ $@
diff --git a/repos/ports/recipes/raw/socat_tcp/hash b/repos/ports/recipes/raw/socat_tcp/hash
new file mode 100644
index 0000000000..818b6d351b
--- /dev/null
+++ b/repos/ports/recipes/raw/socat_tcp/hash
@@ -0,0 +1 @@
+2023-09-29 4ac30b8df2c4179c03218db0b89c6146c1e90513
diff --git a/repos/ports/recipes/raw/socat_tcp/socat_tcp.config b/repos/ports/recipes/raw/socat_tcp/socat_tcp.config
new file mode 100644
index 0000000000..1f31e498ec
--- /dev/null
+++ b/repos/ports/recipes/raw/socat_tcp/socat_tcp.config
@@ -0,0 +1,69 @@
+<config>
+	<parent-provides>
+		<service name="ROM"/>
+		<service name="PD"/>
+		<service name="RM"/>
+		<service name="CPU"/>
+		<service name="LOG"/>
+		<service name="Timer"/>
+		<service name="Nic"/>
+		<service name="Terminal"/>
+	</parent-provides>
+
+	<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
+
+	<default caps="100"/>
+
+	<start name="vfs" caps="150">
+		<resource name="RAM" quantum="12M"/>
+		<provides><service name="File_system"/></provides>
+		<config>
+			<vfs>
+				<tar name="socat.tar"/>
+			</vfs>
+			<policy label_prefix="vfs_rom" root="/"/>
+			<default-policy root="/" writeable="yes"/>
+		</config>
+	</start>
+
+	<start name="vfs_rom">
+		<resource name="RAM" quantum="16M"/>
+		<binary name="cached_fs_rom"/>
+		<provides> <service name="ROM"/> </provides>
+		<config/>
+		<route>
+			<service name="File_system"> <child name="vfs"/> </service>
+			<any-service> <parent/> </any-service>
+		</route>
+	</start>
+
+	<start name="socat" caps="200">
+		<binary name="/bin/socat"/>
+		<resource name="RAM" quantum="28M" />
+		<config>
+			<vfs>
+				<dir name="dev">
+					<log/>
+					<inline name="rtc">2018-01-01 00:01</inline>
+					<terminal/>
+				</dir>
+				<dir name="socket"> <lwip dhcp="yes"/> </dir>
+				<fs/>
+			</vfs>
+			<libc stdout="/dev/log"
+			      stderr="/dev/log"
+			      rtc="/dev/rtc"
+			      socket="/socket"/>
+			<arg value="socat"/>
+			<arg value="/dev/terminal"/>
+			<arg value="TCP4-LISTEN:5555"/>
+		</config>
+		<route>
+			<service name="File_system"> <child name="vfs"/> </service>
+			<service name="ROM" label_suffix=".lib.so"> <parent/> </service>
+			<service name="ROM" label_last="/bin/socat"> <child name="vfs_rom"/> </service>
+			<any-service> <parent/> <any-child/> </any-service>
+		</route>
+	</start>
+
+</config>