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
This commit is contained in:
Stefan Kalkowski 2022-11-17 15:23:08 +01:00 committed by Christian Helmuth
parent 7cb19ee2b3
commit c9efcfab17
7 changed files with 70 additions and 0 deletions

View File

@ -0,0 +1,2 @@
Runtime for combining the dummy RTC driver with NTP updates

View File

@ -0,0 +1,5 @@
_/raw/sntp_dummy_rtc
_/src/sntp_client
_/src/dummy_rtc_drv
_/src/report_rom
_/src/init

View File

@ -0,0 +1 @@
2022-11-17 4561972104bd152029598ba339b5e1bbf44fc593

View File

@ -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>

View File

@ -0,0 +1,4 @@
content: ntp_rtc.config
ntp_rtc.config:
cp $(REP_DIR)/recipes/raw/sntp_dummy_rtc/$@ $@

View File

@ -0,0 +1 @@
2022-11-17 35f7a244e9441671f9e6ce2c866f3889e056d7b7

View File

@ -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>