diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-05-11 17:27:28 (EDT) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-05-11 17:27:59 (EDT) |
| commit | 8105b08285e706b4c0f0db5bed2058c9211bf0a7 (patch) | |
| tree | 85c4071126d725d50c9e6b88802728cabaaccb23 /docs | |
| parent | 6a4b5965d14ec3676ada1601c10e2454d19b34a1 (diff) | |
| download | libreboot-8105b08285e706b4c0f0db5bed2058c9211bf0a7.zip libreboot-8105b08285e706b4c0f0db5bed2058c9211bf0a7.tar.gz libreboot-8105b08285e706b4c0f0db5bed2058c9211bf0a7.tar.bz2 | |
docs/maintain/index.html: notes about updating GRUB
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/maintain/index.html | 37 |
1 files changed, 27 insertions, 10 deletions
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 @@ <h1 id="updating_grub">Updating GRUB</h1> <p> - TODO: write this section + $ <b>rm -rf grub/</b><br/> + $ <b>git clone git://git.savannah.gnu.org/grub.git</b> + $ <b>cd grub/</b> + $ <b>git log</b> </p> <p> - <a href="#pagetop">Back to top of page</a>. + Open the file <i>resources/scripts/helpers/download/grub</i> and + replace the commit ID on the line that performs <i>git reset --hard</i> + with the commit ID of the GRUB revision that you just downloaded. </p> - - </div> - - <div class="section"> - - <h1 id="newpatch_grub">Add/remove/modify patches in GRUB</h1> - + <p> - TODO: write this section + $ <b>cd ../</b><br/> + $ <b>./download grub</b> + </p> + + <p> + If it fails because of merge conflicts, you'll need to re-base + or (as appropriate) remove the offending patch(es) in + <i>resources/scripts/helpers/download/grub</i>. + </p> + + <p> + Finally, verify that it will build:<br/> + $ <b>./build module grub</b> + </p> + + <p> + 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. </p> <p> |