From c9efcfab173bd1ac478f16f682b6256c3a88c078 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 17 Nov 2022 15:23:08 +0100
Subject: [PATCH] sntp_dummy_rtc: add depot package recipe

This recipe combines the dummy_rtc_drv, which consumes a given time,
and provides the "Rtc" service to its clients with the simple NTP client,
which provides the current time to the RTC driver in regular intervals.

Ref genodelabs/genode#4687
---
 .../recipes/pkg/sntp_dummy_rtc/README         |  2 +
 .../recipes/pkg/sntp_dummy_rtc/archives       |  5 +++
 .../libports/recipes/pkg/sntp_dummy_rtc/hash  |  1 +
 .../recipes/pkg/sntp_dummy_rtc/runtime        | 14 ++++++
 .../recipes/raw/sntp_dummy_rtc/content.mk     |  4 ++
 .../libports/recipes/raw/sntp_dummy_rtc/hash  |  1 +
 .../recipes/raw/sntp_dummy_rtc/ntp_rtc.config | 43 +++++++++++++++++++
 7 files changed, 70 insertions(+)
 create mode 100644 repos/libports/recipes/pkg/sntp_dummy_rtc/README
 create mode 100755 repos/libports/recipes/pkg/sntp_dummy_rtc/archives
 create mode 100644 repos/libports/recipes/pkg/sntp_dummy_rtc/hash
 create mode 100755 repos/libports/recipes/pkg/sntp_dummy_rtc/runtime
 create mode 100644 repos/libports/recipes/raw/sntp_dummy_rtc/content.mk
 create mode 100644 repos/libports/recipes/raw/sntp_dummy_rtc/hash
 create mode 100644 repos/libports/recipes/raw/sntp_dummy_rtc/ntp_rtc.config

diff --git a/repos/libports/recipes/pkg/sntp_dummy_rtc/README b/repos/libports/recipes/pkg/sntp_dummy_rtc/README
new file mode 100644
index 0000000000..09e65c44ae
--- /dev/null
+++ b/repos/libports/recipes/pkg/sntp_dummy_rtc/README
@@ -0,0 +1,2 @@
+
+   Runtime for combining the dummy RTC driver with NTP updates
diff --git a/repos/libports/recipes/pkg/sntp_dummy_rtc/archives b/repos/libports/recipes/pkg/sntp_dummy_rtc/archives
new file mode 100755
index 0000000000..7779e3c196
--- /dev/null
+++ b/repos/libports/recipes/pkg/sntp_dummy_rtc/archives
@@ -0,0 +1,5 @@
+_/raw/sntp_dummy_rtc
+_/src/sntp_client
+_/src/dummy_rtc_drv
+_/src/report_rom
+_/src/init
diff --git a/repos/libports/recipes/pkg/sntp_dummy_rtc/hash b/repos/libports/recipes/pkg/sntp_dummy_rtc/hash
new file mode 100644
index 0000000000..86a1d8264e
--- /dev/null
+++ b/repos/libports/recipes/pkg/sntp_dummy_rtc/hash
@@ -0,0 +1 @@
+2022-11-17 4561972104bd152029598ba339b5e1bbf44fc593
diff --git a/repos/libports/recipes/pkg/sntp_dummy_rtc/runtime b/repos/libports/recipes/pkg/sntp_dummy_rtc/runtime
new file mode 100755
index 0000000000..679ea68619
--- /dev/null
+++ b/repos/libports/recipes/pkg/sntp_dummy_rtc/runtime
@@ -0,0 +1,14 @@
+<runtime ram="8M" caps="400" binary="init" config="ntp_rtc.config">
+
+	<requires> <nic/> </requires>
+	<provides> <rtc/> </provides>
+
+	<content>
+		<rom label="sntp_client"/>
+		<rom label="report_rom"/>
+		<rom label="dummy_rtc_drv"/>
+		<rom label="ntp_rtc.config"/>
+		<rom label="init"/>
+	</content>
+
+</runtime>
diff --git a/repos/libports/recipes/raw/sntp_dummy_rtc/content.mk b/repos/libports/recipes/raw/sntp_dummy_rtc/content.mk
new file mode 100644
index 0000000000..fe292267ca
--- /dev/null
+++ b/repos/libports/recipes/raw/sntp_dummy_rtc/content.mk
@@ -0,0 +1,4 @@
+content: ntp_rtc.config
+
+ntp_rtc.config:
+	cp $(REP_DIR)/recipes/raw/sntp_dummy_rtc/$@ $@
diff --git a/repos/libports/recipes/raw/sntp_dummy_rtc/hash b/repos/libports/recipes/raw/sntp_dummy_rtc/hash
new file mode 100644
index 0000000000..d4f355792b
--- /dev/null
+++ b/repos/libports/recipes/raw/sntp_dummy_rtc/hash
@@ -0,0 +1 @@
+2022-11-17 35f7a244e9441671f9e6ce2c866f3889e056d7b7
diff --git a/repos/libports/recipes/raw/sntp_dummy_rtc/ntp_rtc.config b/repos/libports/recipes/raw/sntp_dummy_rtc/ntp_rtc.config
new file mode 100644
index 0000000000..7ef6ecd3a0
--- /dev/null
+++ b/repos/libports/recipes/raw/sntp_dummy_rtc/ntp_rtc.config
@@ -0,0 +1,43 @@
+<config>
+	<parent-provides>
+		<service name="CPU"/>
+		<service name="LOG"/>
+		<service name="PD"/>
+		<service name="RM"/>
+		<service name="ROM"/>
+		<service name="Timer"/>
+		<service name="Nic"/>
+	</parent-provides>
+
+	<service name="Rtc">
+		<default-policy> <child name="dummy_rtc_drv"/> </default-policy> </service>
+
+	<start name="report_rom" caps="100">
+		<resource name="RAM" quantum="1M"/>
+		<provides> <service name="Report"/> <service name="ROM"/> </provides>
+		<config>
+			<policy label_suffix="set_rtc" report="sntp_client -> set_rtc"/>
+		</config>
+		<route> <any-service> <parent/> </any-service> </route>
+	</start>
+
+	<start name="dummy_rtc_drv" caps="100">
+		<resource name="RAM" quantum="1M"/>
+		<provides> <service name="Rtc"/> </provides>
+		<config allow_setting_rtc="true"/>
+		<route>
+			<service name="ROM" label="set_rtc"> <child name="report_rom"/> </service>
+			<any-service> <parent/> </any-service>
+		</route>
+	</start>
+
+	<start name="sntp_client" caps="100">
+		<resource name="RAM" quantum="4M"/>
+		<config verbose="no" dst_ip="216.239.35.0" period_min="5"/>
+		<route>
+			<service name="Report"> <child name="report_rom"/> </service>
+			<any-service> <parent/> </any-service>
+		</route>
+	</start>
+
+</config>