From 40fe5eae21fca449809d1223cf4048a26f028227 Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
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