Re: [Libreboot] boot error

[Isaac David]

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 <address@hidden> 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" <address@hidden> 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 <address@hidden> 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.