From ce633c0bbab48d0e77bb86de66de49b582381975 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 16 Aug 2019 17:55:48 +0200
Subject: [PATCH] gems: recipes/pkg/drivers_rtc-pc

Ref #3450
---
 repos/gems/recipes/pkg/drivers_rtc-pc/README  |  3 ++
 .../gems/recipes/pkg/drivers_rtc-pc/archives  |  4 ++
 .../recipes/raw/drivers_rtc-pc/content.mk     |  4 ++
 .../recipes/raw/drivers_rtc-pc/drivers.config | 54 +++++++++++++++++++
 .../recipes/src/system_rtc/content.mk         |  2 +
 .../libports/recipes/src/system_rtc/used_apis |  3 ++
 6 files changed, 70 insertions(+)
 create mode 100644 repos/gems/recipes/pkg/drivers_rtc-pc/README
 create mode 100644 repos/gems/recipes/pkg/drivers_rtc-pc/archives
 create mode 100644 repos/gems/recipes/raw/drivers_rtc-pc/content.mk
 create mode 100644 repos/gems/recipes/raw/drivers_rtc-pc/drivers.config
 create mode 100644 repos/libports/recipes/src/system_rtc/content.mk
 create mode 100644 repos/libports/recipes/src/system_rtc/used_apis

diff --git a/repos/gems/recipes/pkg/drivers_rtc-pc/README b/repos/gems/recipes/pkg/drivers_rtc-pc/README
new file mode 100644
index 000000000..0dbd0bec0
--- /dev/null
+++ b/repos/gems/recipes/pkg/drivers_rtc-pc/README
@@ -0,0 +1,3 @@
+
+               Device drivers needed for scenarios
+                   using a real time clock
diff --git a/repos/gems/recipes/pkg/drivers_rtc-pc/archives b/repos/gems/recipes/pkg/drivers_rtc-pc/archives
new file mode 100644
index 000000000..338d174b5
--- /dev/null
+++ b/repos/gems/recipes/pkg/drivers_rtc-pc/archives
@@ -0,0 +1,4 @@
+_/src/rtc_drv
+_/src/system_rtc
+_/src/report_rom
+_/raw/drivers_rtc-pc
diff --git a/repos/gems/recipes/raw/drivers_rtc-pc/content.mk b/repos/gems/recipes/raw/drivers_rtc-pc/content.mk
new file mode 100644
index 000000000..bb2e779ab
--- /dev/null
+++ b/repos/gems/recipes/raw/drivers_rtc-pc/content.mk
@@ -0,0 +1,4 @@
+content: drivers.config
+
+drivers.config:
+	cp $(REP_DIR)/recipes/raw/drivers_rtc-pc/$@ $@
diff --git a/repos/gems/recipes/raw/drivers_rtc-pc/drivers.config b/repos/gems/recipes/raw/drivers_rtc-pc/drivers.config
new file mode 100644
index 000000000..02b92e610
--- /dev/null
+++ b/repos/gems/recipes/raw/drivers_rtc-pc/drivers.config
@@ -0,0 +1,54 @@
+<config>
+
+	<parent-provides>
+		<service name="ROM"/>
+		<service name="IRQ"/>
+		<service name="IO_MEM"/>
+		<service name="IO_PORT"/>
+		<service name="PD"/>
+		<service name="RM"/>
+		<service name="CPU"/>
+		<service name="LOG"/>
+		<service name="Timer"/>
+	</parent-provides>
+
+	<default caps="100"/>
+
+	<service name="Rtc">
+		<default-policy> <child name="system_rtc"/> </default-policy>
+	</service>
+
+	<start name="report_rom">
+		<resource name="RAM" quantum="1M"/>
+		<provides> <service name="Report"/> <service name="ROM"/> </provides>
+		<config verbose="yes">
+			<policy label="rtc_drv -> set_rtc"    report="test-system_rtc -> drv_set_rtc"/>
+			<policy label="system_rtc -> set_rtc" report="test-system_rtc -> sys_set_rtc"/>
+		</config>
+		<route>
+			<any-service> <parent/> </any-service>
+		</route>
+	</start>
+
+	<start name="rtc_drv">
+		<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="system_rtc">
+		<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>
+			<service name="Rtc"> <child name="rtc_drv"/> </service>
+			<any-service> <parent/> </any-service>
+		</route>
+	</start>
+
+</config>
diff --git a/repos/libports/recipes/src/system_rtc/content.mk b/repos/libports/recipes/src/system_rtc/content.mk
new file mode 100644
index 000000000..152e434ff
--- /dev/null
+++ b/repos/libports/recipes/src/system_rtc/content.mk
@@ -0,0 +1,2 @@
+SRC_DIR = src/server/system_rtc src/lib/musl_tm
+include $(GENODE_DIR)/repos/base/recipes/src/content.inc
diff --git a/repos/libports/recipes/src/system_rtc/used_apis b/repos/libports/recipes/src/system_rtc/used_apis
new file mode 100644
index 000000000..9333ff50a
--- /dev/null
+++ b/repos/libports/recipes/src/system_rtc/used_apis
@@ -0,0 +1,3 @@
+base
+os
+rtc_session