diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-04-07 00:20:44 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-04-07 00:20:44 +0200 |
| commit | be05092c3406d72165ceddf16d8221b99608c905 (patch) | |
| tree | be25aece8a6ade860b63a5010092efb3d264161d /open_issues/performance | |
| parent | 7c90e65e25f673a9c621c6102ee3d7c130160b01 (diff) | |
microkernel/mach/gnumach/interface/device/time: New.
Diffstat (limited to 'open_issues/performance')
| -rw-r--r-- | open_issues/performance/io_system/read-ahead.mdwn | 3 |
1 files changed, 3 insertions, 0 deletions
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 |