summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach/ports.mdwn
AgeCommit message (Expand)Author
2008-11-19Revert "microkernel/mach/gnumach -> microkernel/mach/gnu_mach"Thomas Schwinge
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 Texinfo-rendere...Thomas Schwinge
2007-10-03The port to Xen is a port.Thomas Schwinge
2007-09-21Switch pages to use the ``copyright'' and ``license'' facilities of ikiwiki's...Thomas Schwinge
2007-09-21Rework copyright assignment procedure.Thomas Schwinge
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