microkernel/mach/gnumach/interface/device/time: New.
[hurd-web.git] / open_issues / clock_gettime.mdwn
index 83ad81e..3c06c36 100644 (file)
@@ -14,7 +14,9 @@ License|/fdl]]."]]"""]]
 
 Missing `clock_gettime(CLOCK_MONOTONIC)` (e.g. for iceweasel)
 
-It could be a mere matter of extending the mappable clock: add it to
+It could be a mere matter of extending the
+[[mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]]:
+add it to
 `mapped_time_value_t` in gnumach, handle it in `gnumach/kern/mach_clock.c`, and
 make `clock_gettime` use it.