summaryrefslogtreecommitdiff
path: root/microkernel/mach/ipc
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-14Add some information about Mach IPC's sequence numbering.Thomas Schwinge