summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/interface/device/time.mdwn3
1 files changed, 2 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach/interface/device/time.mdwn b/microkernel/mach/gnumach/interface/device/time.mdwn
index d399e8b5..d1e9a488 100644
--- a/microkernel/mach/gnumach/interface/device/time.mdwn
+++ b/microkernel/mach/gnumach/interface/device/time.mdwn
@@ -14,4 +14,5 @@ containing a `struct mapped_time_value`. See the [[reference_manual]].
Typically available as `/dev/time`, [[hurd/translator/storeio]].
Using that, [[hurd/libshouldbeinlibc]]'s `<maptime.h>` provides `maptime_map`
-and `maptime_read`, see the [[hurd/reference_manual]].
+and `maptime_read`, see the [[hurd/reference_manual]]. Candidate for
+replacement with [[open_issues/vDSO]] code?