summaryrefslogtreecommitdiff
path: root/microkernel/mach/ipc
AgeCommit message (Expand)Author
2007-09-14Add some information about Mach IPC's sequence numbering.Thomas Schwinge