Re: [Trisquel-users] How to Boot New Linux-Libre Kernel in Libreboot

[0d54770d]

I'm sorry; I wasn't completely clear. What I meant was that there were  
instructions on what to do, if one were using Libreboot, but not how to do  
it. In other words, how to modify GRUB (either in the flash chip, or else the  
one in /boot) to boot the new kernel. I have since figured out how to do it,  
and since it is not documented anywhere else that I could find, I was  
thinking I could add it to Trisquel's documentation, so anyone else with a  
similar question could benefit from my trial and error.