aboutsummaryrefslogtreecommitdiff
path: root/microkernel
Commit message (Expand)AuthorAgeFilesLines
* Reintegrate another bunch of pages and apply clean-ups.Thomas Schwinge2007-09-072-2/+2
* Shuffle another bunch of files, related to `Distrib/' and `GNU/'.Thomas Schwinge2007-09-044-0/+4
* Elaborate a bit on ports and hardware compatibility.Thomas Schwinge2007-09-042-5/+8
* Quote some more underscores.Thomas Schwinge2007-09-031-8/+7
* Further clean-ups and removals.Thomas Schwinge2007-09-033-2/+19
* Break up `Mach' and `Mig' hierarchies, merge them into `microkernel/mach/', `...Thomas Schwinge2007-09-0322-0/+849