set -e
git clone https://git.seabios.org/seabios.git || true
(cd seabios && git checkout rel-1.12.1)

cp seabios.config seabios/.config
make -C seabios
cp seabios/out/bios.bin seabios.bin
cp seabios/out/vgabios.bin vgabios.bin

cp seabios-debug.config seabios/.config
make -C seabios
cp seabios/out/bios.bin seabios-debug.bin
cp seabios/out/vgabios.bin vgabios-debug.bin