genode/repos/ports/src/lib
Josef Söntgen 94b63924ed noux: add time modification
... and set initial time by using RTC session.

Up to now Noux used a monotic clock whose initial start value always
was '0' (which correlates to the start of the UNIX epoch) to provide
a notion of time. In addition it is now possible to use the RTC
session to set the initial value for use cases where having a proper
real-world time matters.

To use the RTC session the 'rtc' attribute of the '<config>' node
must be set to 'yes'. Thereby the session becomes a mandatory
dependency as Noux will not start without it.

Issue #1784
2019-11-19 14:17:30 +01:00
..
gdbserver_libc_support tool_chain: update GDB to version 8.2.1 2019-05-27 14:52:51 +02:00
gdbserver_platform tool_chain: update GDB to version 8.2.1 2019-05-27 14:52:51 +02:00
gdbserver_platform-nova tool_chain: update GDB to version 8.2.1 2019-05-27 14:52:51 +02:00
getdns Port of getdns and Stubby DNS resolver 2018-05-03 15:31:58 +02:00
libc_noux noux: add time modification 2019-11-19 14:17:30 +01:00