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

4 files changed, 14 insertions, 3 deletions

diff --git a/open_issues/clock_gettime.mdwn b/open_issues/clock_gettime.mdwn
index 83ad81e8..3c06c368 100644
--- a/open_issues/clock_gettime.mdwn
+++ b/open_issues/clock_gettime.mdwn
@@ -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.
 
diff --git a/open_issues/dde.mdwn b/open_issues/dde.mdwn
index b25e53d7..f0f7cae0 100644
--- a/open_issues/dde.mdwn
+++ b/open_issues/dde.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2010, 2011, 2012 Free Software Foundation,
+[[!meta copyright="Copyright © 2010, 2011, 2012, 2013 Free Software Foundation,
 Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
@@ -393,6 +393,9 @@ After the microkernel devroom at [[community/meetings/FOSDEM_2013]].
       we'd have to update 100times per second
     <youpi> so ZhengDa preferred to make jiffies a macro which calls a function
       which reads the mapped time
+
+[[Mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]].
+
     <youpi> however, that break any use of the work "jiffies", e.g. structure
       members & such
     <youpi> actually it's not only after headers that the #include has to be
diff --git a/open_issues/libpthread_CLOCK_MONOTONIC.mdwn b/open_issues/libpthread_CLOCK_MONOTONIC.mdwn
index 5a99778b..37ee548b 100644
--- a/open_issues/libpthread_CLOCK_MONOTONIC.mdwn
+++ b/open_issues/libpthread_CLOCK_MONOTONIC.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2012 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2012, 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
@@ -25,6 +25,9 @@ License|/fdl]]."]]"""]]
     <youpi> that's unfortunate, but that's what nptl actually does
     <pinotree> this way we could add inside hurdtime.c the mapped time stuff
       too
+
+[[Mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]].
+
     <pinotree> most probably a noobish question, but why does rt link to
       pthread?
     <youpi> no idea :)
diff --git a/open_issues/performance/io_system/read-ahead.mdwn b/open_issues/performance/io_system/read-ahead.mdwn
index d471efca..8a8ba823 100644
--- a/open_issues/performance/io_system/read-ahead.mdwn
+++ b/open_issues/performance/io_system/read-ahead.mdwn
@@ -1323,6 +1323,9 @@ License|/fdl]]."]]"""]]
     <antrik> well, in theory, specific kernel drivers can expose their own
       device_map() -- but IIRC the only one that does (besides mem of course)
       is maptime -- which is not a real driver either...
+
+[[Mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]].
+
     <braunr> oh btw, i didn't know you had a blog :)
     <antrik> well, it would be possible to replace the device interface by
       specific interfaces for the generic pseudo devices... I'm not sure how