summaryrefslogtreecommitdiff
path: root/microkernel
AgeCommit message (Expand)Author
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-20web commit by steevithakGNU Hurd wiki engine
2007-09-20web commit by steevithakGNU Hurd wiki engine
2007-09-20web commit by steevithak: added ieee 1394 sectionGNU Hurd wiki engine
2007-09-20web commit by steevithak: add section for hardware success/failure reportsGNU Hurd wiki engine
2007-09-14Add some information about Mach IPC's sequence numbering.Thomas Schwinge
2007-09-14Beginnings of adding some information about RPC.Thomas Schwinge
2007-09-14Rename some pages to be more consistent.Thomas Schwinge
2007-09-14Question about wording.Thomas Schwinge
2007-09-14Move the link to general information to the top.Thomas Schwinge
2007-09-07Reintegrate another bunch of pages and apply clean-ups.Thomas Schwinge
2007-09-04Shuffle another bunch of files, related to `Distrib/' and `GNU/'.Thomas Schwinge
2007-09-04Elaborate a bit on ports and hardware compatibility.Thomas Schwinge
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