https://sjp38.github.io/posts/qemu_kernel_debugging/