rtc is an L4Re server that provides wallclock time to its clients. The server uses the I/O port-based RTC on x86 and the PL031 RTC on ARM.
This package is part of the L4Re Operating System Framework. For documentation and build instructions see the L4Re wiki.
We welcome contributions. Please see our contributors guide on how to contribute.
Detailed licensing and copyright information can be found in the LICENSE file.