From 8105b08285e706b4c0f0db5bed2058c9211bf0a7 Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Mon, 11 May 2015 22:27:28 +0100 Subject: docs/maintain/index.html: notes about updating GRUB --- docs/maintain/index.html | 37 +++++++++++++++++++++++++++---------- 1 file changed, 27 insertions(+), 10 deletions(-) (limited to 'docs/maintain/index.html') diff --git a/docs/maintain/index.html b/docs/maintain/index.html index ec431882..e493d29e 100644 --- a/docs/maintain/index.html +++ b/docs/maintain/index.html @@ -356,21 +356,38 @@

Updating GRUB

- TODO: write this section + $ rm -rf grub/
+ $ git clone git://git.savannah.gnu.org/grub.git + $ cd grub/ + $ git log

- Back to top of page. + Open the file resources/scripts/helpers/download/grub and + replace the commit ID on the line that performs git reset --hard + with the commit ID of the GRUB revision that you just downloaded.

- - - -
- -

Add/remove/modify patches in GRUB

- +

- TODO: write this section + $ cd ../
+ $ ./download grub +

+ +

+ If it fails because of merge conflicts, you'll need to re-base + or (as appropriate) remove the offending patch(es) in + resources/scripts/helpers/download/grub. +

+ +

+ Finally, verify that it will build:
+ $ ./build module grub +

+ +

+ Since GRUB is the payload in libreboot, you should also + build the ROM images and test them, with this different + GRUB version that you have prepared.

-- cgit v1.2.3-70-g09d2