microkernel/mach/gnumach/interface/device/time: New.

3 files changed, 35 insertions, 2 deletions

diff --git a/microkernel/mach/gnumach/boot_trace.mdwn b/microkernel/mach/gnumach/boot_trace.mdwn
index 1badf712..7b729c23 100644
--- a/microkernel/mach/gnumach/boot_trace.mdwn
+++ b/microkernel/mach/gnumach/boot_trace.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2007, 2008, 2011 Free Software Foundation,
+[[!meta copyright="Copyright © 2007, 2008, 2011, 2013 Free Software Foundation,
 Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
@@ -114,7 +114,7 @@ License|/fdl]]."]]"""]]
 
 >>>> kern/time\_stamp.c: timestamp\_init
 
->>>> kern/mach\_clock.c: mapable\_time\_init
+>>>> kern/mach\_clock.c: [[mapable\_time\_init|interface/device/time]]
 
 >>>> i386/i386at/model\_dep.c: machine\_init
 
diff --git a/microkernel/mach/gnumach/interface/device.mdwn b/microkernel/mach/gnumach/interface/device.mdwn
new file mode 100644
index 00000000..c8ab50e9
--- /dev/null
+++ b/microkernel/mach/gnumach/interface/device.mdwn
@@ -0,0 +1,16 @@
+[[!meta copyright="Copyright © 2013 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+[[!meta title="Devices"]]
+
+/!\ Incomplete.
+
+[[!map pages="microkernel/mach/gnumach/interface/device/* and !microkernel/mach/gnumach/interface/device/*/*"
+show=title]]
diff --git a/microkernel/mach/gnumach/interface/device/time.mdwn b/microkernel/mach/gnumach/interface/device/time.mdwn
new file mode 100644
index 00000000..d399e8b5
--- /dev/null
+++ b/microkernel/mach/gnumach/interface/device/time.mdwn
@@ -0,0 +1,17 @@
+[[!meta copyright="Copyright © 2013 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+The *mapped-time interface*, that is, a `mmap`able read-only memory page
+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]].