The last two mails didn't arrive to the mailing list because I slipped
up the "Reply-All" thing.
Le mar. 11 août 2015 à 16:27, Shawn <[email protected]> a
écrit :
Hi Isaac,
My technical knowledge of Linux is limited to basic command line
stuff. I'm not sure I would be able to get this working, I don't
think.
I emailed the developer of the OS I am using and told him about the
issue, below is his response. Maybe a place to start, not sure of the
answer to his last two questions:
"Libreboot has its own bootloaders. This can be Seabios or grub in
most
cases. Seabios is the best for FL, but the one you are using now looks
like grub. Do you know which options are enabled in the BIOS for
booting
the system? Is it possible to set them without recompiling the BIOS?"
On 8/11/2015 at 5:24 PM, "Isaac David" <[email protected]>
wrote:
I can offer my help as a Libreboot user. That last grub entry
"search for grub configuration outside..." should be working. It may
be the case that your distro gives a different name to the linux
image under /boot.
Could you troubleshoot from a live USB and use this guide to create
the file /boot/grub/libreboot_grub.cfg using a working grub
configuration?
Le mar. 11 août 2015 à 10:34, Shawn <[email protected]>
a écrit :
I bought a Lenovo T400 with Libreboot installed and I am able to
boot from USB, but when I try to
boot the Linux operating system I installed I get error: file
'/vmlinuz' not found. I tried booting the
last option on the grubscreen list which is 'search for grub
configuration outside..' but that did not
work and resulted in the same error.
Looking for some help with getting the OS booted up.
Indeed, instead of loading the bootloader installed by the operating
system in your hard drive, Libreboot uses its own GRUB payload which
gets flashed into the chipset alongside Libreboot itself.
The first method from the Libreboot guide I sent to you doesn't require
any skill other than moving around in the file manager. We could skip
the command line altogether. I can't guarantee it will work but the
whole endeavour is failsafe; your firmware, operating system and files
will stay untouched no matter what happens. This is why I think it's
worth trying. It's up to you Shawn.
In summary: boot from the USB stick, find the /boot directory somewhere
in your hardrive volumes (it should be at the root level of your
GNU/Linux file system or be its own partition, in which case you'll be
able to identify it because it will contain linux images and hopefully
a folder called "grub"). Assuming there's a grub directory in there,
dive in and copy the file grub.cfg into the same directory and give it
the name libreboot_grub.cfg. This file grub.cfg is automatically
generated in most GNU/Linux distros whenever the kernel is installed or
updated, and it is likely to contain the configuration needed to get
from GRUB to the operating system. Then just reboot and test.
Libreboot's GRUB is supposed to search your hardrive partitions for the
libreboot_grub.cfg file and load its configuration.
Tell us how it goes.
