genode/repos/libports/recipes/pkg/system_rtc-linux/archives

mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 14:13:09 +00:00
_/src/linux_rtc_drv
_/src/system_rtc
_/src/report_rom
_/raw/system_rtc-linux
rtc: system_rtc pkg for PC and Linux 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 2020-03-04 14:29:06 +00:00			`_/src/linux_rtc_drv`
			`_/src/system_rtc`
			`_/src/report_rom`
			`_/raw/system_rtc-linux`