summaryrefslogtreecommitdiff
path: root/microkernel/mach/external_pager_mechanism.mdwn
AgeCommit message (Collapse)Author
2012-05-24Prepare toolchain/logs/master branch.Thomas Schwinge
2011-02-17open_issues/performance/io_system/clustered_page_faults: New. And some more ↵Thomas Schwinge
IRC discussions.
2010-12-21microkernel/mach: Two more Mach papers.Thomas Schwinge
2010-12-13``Some'' Mach documentation.Thomas Schwinge
Parts have been rescued from 4b382d8daa5a9e2d54e78c18beeff76bc54dc16b:Mach/MachConcepts.mdwn.
2010-12-13microkernel/mach/external_pager_mechanism: Based on a 2002-06 email by Neal ↵Thomas Schwinge
Walfield. <http://lists.gnu.org/archive/html/l4-hurd/2002-06/msg00001.html>
2010-12-13Merge branch 'master' into external_pager_mechanismThomas Schwinge
Conflicts: microkernel/mach/external_pager_mechanism.mdwn
2009-05-18Simplify some links.Thomas Schwinge
2009-05-18Prefix directives.Thomas Schwinge
2008-10-08UNIX.Thomas Schwinge
2008-01-18Make the GFDL 1.2+ licensing text toggleable.Thomas Schwinge
2007-11-09Get rid of the TXT version of the FDL and switch to using the ↵Thomas Schwinge
Texinfo-rendered one instead.
2007-09-21Switch pages to use the ``copyright'' and ``license'' facilities of ↵Thomas Schwinge
ikiwiki's `meta' plugin.
2007-09-21Rework copyright assignment procedure.Thomas Schwinge
Move the copyright assignment text out of the wiki pages and instead make it part of the web-editing page's template. Update text as per suggestions of Richard M. Stallman (private email, 2007-09).
2007-09-17Fix some wiki markup, typos, and so on while reading through it.Thomas Schwinge
2007-09-14Rename some pages to be more consistent.Thomas Schwinge