diff options
Diffstat (limited to 'build-release')
-rwxr-xr-x | build-release | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build-release b/build-release index 36453e9..84e3575 100755 --- a/build-release +++ b/build-release @@ -112,6 +112,12 @@ mkdir libreboot_bin # Include the ROM's in the binary archive cp -r bin libreboot_bin/ +# Include SeaBIOS and SeaVGABIOS option ROM in the binary archive +cp seabios/out/vgabios.bin libreboot_bin/ +cp seabios/out/bios.bin.elf libreboot_bin/ +# Add the script for it +cp addseabios libreboot_bin/ + # Include flashrom utility in binary archive # (source only, no binaries. To eliminate cross-distro dependency issue) cp -r libreboot_src/flashrom libreboot_bin/ |