So I'm not sure if this is supposed to happen, but I when I try to boot the provided ISO in the docs with qemu on linux, it doesn't work. I checked the .bin file in the kernel/ directory and it turns out that the kernel actually doesn't have a valid multiboot header.