genode/repos/ports/src/app
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
..
arora arora: fix domain config in plugin demo 2015-01-26 12:28:42 +01:00
dosbox ports: migrate to new ports mechanism 2014-05-27 11:14:43 +02:00
gdb_monitor thread API & CPU session: accounting of CPU quota 2014-11-28 12:02:37 +01:00
lighttpd ports: migrate to new ports mechanism 2014-05-27 11:14:43 +02:00
netperf os: extend on_alarm() by unsigned count value 2014-07-09 16:26:05 +02:00
openvpn ports: add openvpn-2.3.4 2014-08-26 11:00:35 +02:00
seoul os: structured timestamp in Rtc session 2015-02-16 13:40:34 +01:00