Debugging the OpenBSD kernel via QEMU
markshroyer.com