summaryrefslogtreecommitdiff
path: root/microkernel
AgeCommit message (Expand)Author
2007-09-03Quote some more underscores.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