[lopespm]

OP here, thanks for all the comments! In the meanwhile added the capability to build a bootable ISO with a GRUB menu https://github.com/lopespm/zig-minimal-kernel-x86