Debugging the OpenBSD kernel via QEMU · HackerTrans