title: "Microkernel Design" description: "Design of microkernels"

Microkernel Design

pub fn handle_ipc(msg: Message) {}