summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach
AgeCommit message (Collapse)Author
2007-09-07Reintegrate another bunch of pages and apply clean-ups.Thomas Schwinge
2007-09-04Elaborate a bit on ports and hardware compatibility.Thomas Schwinge
2007-09-03Further clean-ups and removals.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.