Fix broken links to microkernel/mach/gnumach/interface/device/time.
[hurd-web.git] / open_issues / performance / io_system / read-ahead.mdwn
index 768dca9..cd39328 100644 (file)
@@ -1324,7 +1324,7 @@ License|/fdl]]."]]"""]]
       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]].
+[[Mapped-time_interface|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