Designing microkernel IPC
Summary
An in-depth look at IPC in microkernels, comparing synchronous and asynchronous approaches and introducing pull-based patterns like notify & pull and peek-then-receive to address backpressure. The piece covers no-IDL architecture in FTL, its core message types, and how interfaces can be defined with minimal serialization, linking OS design to practical async workflows.