diff options
Diffstat (limited to 'open_issues/performance/io_system')
| -rw-r--r-- | open_issues/performance/io_system/read-ahead.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/open_issues/performance/io_system/read-ahead.mdwn b/open_issues/performance/io_system/read-ahead.mdwn index 768dca93..cd39328f 100644 --- a/open_issues/performance/io_system/read-ahead.mdwn +++ b/open_issues/performance/io_system/read-ahead.mdwn @@ -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 |