Designing microkernel IPC (via Shorden) — discussion

#osdev