diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2009-01-09 15:26:44 +0100 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-01-09 15:26:44 +0100 |
commit | 19914d1594d40388652c78ade1289691d6abfbb8 (patch) | |
tree | f4b092a9142fea1a6da7ab214a46ef7ce486ef4a /hurd | |
parent | 65d63f90786ff11cd35c4ee64fa7c099d1deafbc (diff) |
About page-in.
Diffstat (limited to 'hurd')
-rw-r--r-- | hurd/translator/devfs.mdwn | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/hurd/translator/devfs.mdwn b/hurd/translator/devfs.mdwn index bc1cf11f..7a00519c 100644 --- a/hurd/translator/devfs.mdwn +++ b/hurd/translator/devfs.mdwn @@ -13,3 +13,8 @@ in there in a dynamic fashion -- as compared to static passive translator settings as they're used now. `devfs` has not yet been written. + +--- + +If applicable, it has to be taken care that all code concerning the page-in +path is resident at all times. |