(root)/writeups/microkernel-mpu.md