@p_balduino valeu; vou perguntar aqui mesmo.. tentei `make build', deu "xorriso : FAILURE : Cannot find in ISO image: -boot_image ... bin_path='/limine-bios-cd.bin' vi que limine-bios-cd.bin realmente não existe. Como faço para gerar esse arquivo? Aqui não tem docker.