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