alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

rtc: system_rtc pkg for PC and Linux

Browse Source 
This depot package is the runtime for rtc_drv and system_rtc server with
coordinated update of system and hardware RTC via reports. It replaces
drivers_rtc which was never freestanding drivers package and, therefore,
has to be accompanied with a running platform_drv etc.

Fixes #3680
This commit is contained in:
Christian Helmuth
2020-03-04 15:29:06 +01:00
committed by Norman Feske
parent e66726e931
commit 677d9abd07
18 changed files with 99 additions and 61 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
repos/gems/recipes/pkg/drivers_rtc-pc/README
View File

@@ -1,3 +0,0 @@
Device drivers needed for scenarios
using a real time clock

4
repos/gems/recipes/pkg/drivers_rtc-pc/archives
View File

@@ -1,4 +0,0 @@
_/src/rtc_drv
_/src/system_rtc
_/src/report_rom
_/raw/drivers_rtc-pc

1
repos/gems/recipes/pkg/drivers_rtc-pc/hash
View File

@@ -1 +0,0 @@
2020-02-27 65382e039846bc88caab8a17b68040cd75a352a6

4
repos/gems/recipes/raw/drivers_rtc-pc/content.mk
View File

@@ -1,4 +0,0 @@
content: drivers.config
drivers.config:
cp $(REP_DIR)/recipes/raw/drivers_rtc-pc/$@ $@

54
repos/gems/recipes/raw/drivers_rtc-pc/drivers.config
View File

@@ -1,54 +0,0 @@
<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>

1
repos/gems/recipes/raw/drivers_rtc-pc/hash
View File

@@ -1 +0,0 @@
2019-08-20 5c445dd7b9c2e8dd6a6b2b27b55507537cde1868