GW AdvOS: Microkernel IPC Design and Optimization

What does it take to implement fast IPC in a microkernel? What challenges does it present, and what solutions do we know about? Dive in to find out more!