diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2012-02-09 10:40:31 +0100 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2012-03-12 13:56:58 +0100 |
| commit | b1c0d031c452bddfdedf33c5fa2ab2cc2b4a5ea0 (patch) | |
| tree | 1b0626b231effc8910912119c2f9706622b3693f | |
| parent | a348f108842fb928563865c9918642900cd0d477 (diff) | |
Add seabios build scripts to roms/
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
| -rw-r--r-- | roms/Makefile | 10 | ||||
| -rw-r--r-- | roms/config.seabios | 1 | ||||
| -rwxr-xr-x | roms/configure-seabios.sh | 5 |
3 files changed, 16 insertions, 0 deletions
diff --git a/roms/Makefile b/roms/Makefile new file mode 100644 index 0000000000..0114e6f33f --- /dev/null +++ b/roms/Makefile @@ -0,0 +1,10 @@ + +default: + @echo "nothing is build by default" + @echo "available build targets:" + @echo " bios -- update bios.bin (seabios)" + +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 0000000000..c373b87a98 --- /dev/null +++ b/roms/config.seabios @@ -0,0 +1 @@ +# empty, default config works for us diff --git a/roms/configure-seabios.sh b/roms/configure-seabios.sh new file mode 100755 index 0000000000..98f59a24ba --- /dev/null +++ b/roms/configure-seabios.sh @@ -0,0 +1,5 @@ +#!/bin/sh +config="$1" +make -C seabios clean distclean +cp "$config" seabios/.config +make -C seabios oldnoconfig |