build/
output/
iso/boot/kernel.bin