summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach/ports.mdwn
AgeCommit message (Collapse)Author
2008-11-19Revert "microkernel/mach/gnumach -> microkernel/mach/gnu_mach"Thomas Schwinge
This reverts commit ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69. I've changed my mind again. Also resolve conflicts and adapt all new uses of the path.
2008-11-05microkernel/mach/gnumach -> microkernel/mach/gnu_machThomas Schwinge
2008-04-02Add a note about x86 port.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-10-03The port to Xen is a port.Thomas Schwinge
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-04Elaborate a bit on ports and hardware compatibility.Thomas Schwinge
2007-09-03Break up `Mach' and `Mig' hierarchies, merge them into `microkernel/mach/', ↵Thomas Schwinge
`microkernel/mach/gnumach/', `microkernel/mach/mig/', and elsewhere.