Signed-off-by: Gerd Hoffmann kraxel@redhat.com --- roms/Makefile | 6 ++++++ roms/config.seabios | 1 + 2 files changed, 7 insertions(+), 0 deletions(-) create mode 100644 roms/config.seabios
diff --git a/roms/Makefile b/roms/Makefile index 5c3d5f4..b24c728 100644 --- a/roms/Makefile +++ b/roms/Makefile @@ -8,6 +8,7 @@ default: @echo "available build targets:" @echo " vgabios-<name> -- update vgabios-<name>.bin" @echo " vgabios -- update all vgabios binaries" + @echo " bios -- update bios.bin (seabios)"
vgabios: $(targets_vgabios)
@@ -15,3 +16,8 @@ vgabios-%: config.vga.% sh configure-seabios.sh $< make -C seabios out/vgabios.bin cp seabios/out/vgabios.bin ../pc-bios/vgabios-$*.bin + +bios: config.seabios + sh configure-seabios.sh $< + make -C seabios out/bios.bin + cp seabios/out/bios.bin ../pc-bios/bios.bin diff --git a/roms/config.seabios b/roms/config.seabios new file mode 100644 index 0000000..c373b87 --- /dev/null +++ b/roms/config.seabios @@ -0,0 +1 @@ +# empty, default config works for us