From 9685a8b60d304843647f9e9cf2a267715e9e5061 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 26 Feb 2021 12:03:17 +0100
Subject: [PATCH] drivers_managed-imx8q_evk: add dummy_rtc_drv

Ref #4033
---
 .../pkg/drivers_managed-imx8q_evk/archives      | 17 +++++++++--------
 .../drivers_managed-imx8q_evk/drivers.config    | 13 +++++++++++++
 2 files changed, 22 insertions(+), 8 deletions(-)

diff --git a/repos/gems/recipes/pkg/drivers_managed-imx8q_evk/archives b/repos/gems/recipes/pkg/drivers_managed-imx8q_evk/archives
index 34603d737e..e27a335a96 100644
--- a/repos/gems/recipes/pkg/drivers_managed-imx8q_evk/archives
+++ b/repos/gems/recipes/pkg/drivers_managed-imx8q_evk/archives
@@ -1,11 +1,12 @@
-_/src/platform_drv
-_/src/usb_host_drv
-_/src/usb_hid_drv
-_/src/usb_block_drv
-_/src/imx8q_evk_drivers
-_/src/imx8_fb_drv
-_/src/report_rom
+_/raw/drivers_managed-imx8q_evk
+_/src/dummy_rtc_drv
 _/src/event_filter
+_/src/imx8_fb_drv
+_/src/imx8q_evk_drivers
+_/src/platform_drv
+_/src/report_rom
 _/src/rom_filter
 _/src/rom_reporter
-_/raw/drivers_managed-imx8q_evk
+_/src/usb_block_drv
+_/src/usb_hid_drv
+_/src/usb_host_drv
diff --git a/repos/gems/recipes/raw/drivers_managed-imx8q_evk/drivers.config b/repos/gems/recipes/raw/drivers_managed-imx8q_evk/drivers.config
index 4cd956b1e1..4994f263fc 100644
--- a/repos/gems/recipes/raw/drivers_managed-imx8q_evk/drivers.config
+++ b/repos/gems/recipes/raw/drivers_managed-imx8q_evk/drivers.config
@@ -31,6 +31,9 @@
 	<service name="Platform">
 		<default-policy> <child name="platform_drv"/> </default-policy> </service>
 
+	<service name="Rtc">
+		<default-policy> <child name="rtc_drv"/> </default-policy> </service>
+
 	<start name="report_rom">
 		<resource name="RAM" quantum="2M"/>
 		<provides> <service name="Report"/> <service name="ROM"/> </provides>
@@ -352,4 +355,14 @@
 		</route>
 	</start>
 
+	<start name="rtc_drv">
+		<binary name="dummy_rtc_drv"/>
+		<resource name="RAM" quantum="1M"/>
+		<provides> <service name="Rtc"/> </provides>
+		<config allow_setting_rtc="true" year="2021" month="02" day="24"
+		        hour="0" minute="0" second="0"/>
+		<route>
+			<any-service> <parent/> </any-service>
+		</route>
+	</start>
 </config>