From 8105b08285e706b4c0f0db5bed2058c9211bf0a7 Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Mon, 11 May 2015 17:27:28 -0400 Subject: docs/maintain/index.html: notes about updating GRUB --- diff --git a/docs/maintain/index.html b/docs/maintain/index.html index ec43188..e493d29 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 v0.9.1