l4/kernel/fiasco/doc/design/ipc-path-charts
