microkernel/mach/gnumach/interface/device/time: New.
[hurd-web.git] / open_issues / performance / io_system / read-ahead.mdwn
index d471efc..8a8ba82 100644 (file)
@@ -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