1 2default: 3 @echo "nothing is build by default" 4 @echo "available build targets:" 5 @echo " bios -- update bios.bin (seabios)" 6 7bios: config.seabios 8 sh configure-seabios.sh $< 9 make -C seabios out/bios.bin 10 cp seabios/out/bios.bin ../pc-bios/bios.bin 11