From 40fe5eae21fca449809d1223cf4048a26f028227 Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Tue, 16 Sep 2014 18:12:04 +0100 Subject: ROM images no longer include SeaBIOS Instead, the user adds it afterwards. Documentation and scripts updated. --- build-release | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'build-release') 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/ -- cgit v1.2.3-54-g00ecf