Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | open_issues/performance/io_system/clustered_page_faults: New. And some more ↵ | Thomas Schwinge | 2011-02-17 | 1 | -2/+14 |
| | | | | IRC discussions. | ||||
* | microkernel/mach: Two more Mach papers. | Thomas Schwinge | 2010-12-21 | 1 | -0/+3 |
| | |||||
* | ``Some'' Mach documentation. | Thomas Schwinge | 2010-12-13 | 1 | -8/+6 |
| | | | | | Parts have been rescued from 4b382d8daa5a9e2d54e78c18beeff76bc54dc16b:Mach/MachConcepts.mdwn. | ||||
* | microkernel/mach/external_pager_mechanism: Based on a 2002-06 email by Neal ↵ | Thomas Schwinge | 2010-12-13 | 1 | -10/+3 |
| | | | | | | Walfield. <http://lists.gnu.org/archive/html/l4-hurd/2002-06/msg00001.html> | ||||
* | Merge branch 'master' into external_pager_mechanism | Thomas Schwinge | 2010-12-13 | 1 | -17/+11 |
|\ | | | | | | | | | Conflicts: microkernel/mach/external_pager_mechanism.mdwn | ||||
| * | Simplify some links. | Thomas Schwinge | 2009-05-18 | 1 | -1/+1 |
| | | |||||
| * | Prefix directives. | Thomas Schwinge | 2009-05-18 | 1 | -2/+3 |
| | | |||||
| * | UNIX. | Thomas Schwinge | 2008-10-08 | 1 | -1/+1 |
| | | |||||
| * | Make the GFDL 1.2+ licensing text toggleable. | Thomas Schwinge | 2008-01-18 | 1 | -3/+5 |
| | | |||||
| * | Get rid of the TXT version of the FDL and switch to using the ↵ | Thomas Schwinge | 2007-11-09 | 1 | -1/+1 |
| | | | | | | | | Texinfo-rendered one instead. | ||||
| * | Switch pages to use the ``copyright'' and ``license'' facilities of ↵ | Thomas Schwinge | 2007-09-21 | 1 | -9/+7 |
| | | | | | | | | ikiwiki's `meta' plugin. | ||||
| * | Rework copyright assignment procedure. | Thomas Schwinge | 2007-09-21 | 1 | -7/+0 |
| | | | | | | | | | | | | 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). | ||||
* | | Fix some wiki markup, typos, and so on while reading through it. | Thomas Schwinge | 2007-09-17 | 1 | -75/+82 |
|/ | |||||
* | Rename some pages to be more consistent. | Thomas Schwinge | 2007-09-14 | 1 | -0/+188 |