genode/repos/os/src
Josef Söntgen 0a835e4ce9 os: structured timestamp in Rtc session
Instead of returning an uint64_t value, return a structured time stamp.
This change is only visible to components using Rtc_session directly.

Fixes #1381.
2015-02-16 13:40:34 +01:00
..
app os: make reusable cli_monitor headers public 2014-10-13 15:21:54 +02:00
drivers os: structured timestamp in Rtc session 2015-02-16 13:40:34 +01:00
init Init: support for aliases for child names 2015-01-20 11:25:59 +01:00
lib ddekit: remove sleep_forever in dde_kit_debug 2014-11-28 12:02:35 +01:00
server loader: make CPU session upgradable 2015-01-26 12:28:42 +01:00
test os: structured timestamp in Rtc session 2015-02-16 13:40:34 +01:00