The shorter and thorough guide to updating Libreboot on an X200

good, maybe you should wiki it?

I mean by turning the computer on, failing to log in, then getting back to the GRUB menu, pressing "c".
From there, you type :
cryptomount -a (press "enter")
set root='/lvm/yourvolumegroup-yourlogicalvolume' (press "enter")
linux /vmlinuz root=/dev/mapper/yourvolumegroup-yourlogicalvolume cryptdevice=/dev/mapper/yourvolumegroup-yourlogicalvolume:root (press "enter")
initrd /initrd.img (press "enter")
boot (press "enter")

yourvolumegroup-yourlogicalvolume
are the names given to both of these during Trisquel's encrypted install. See the partitioning chapter here for clarifications: https://libreboot.org/docs/gnulinux/encrypted_debian.html

I assume here that you have already Libreboot and Trisquel installed, and that you're trying to update Libreboot.

Good, then when booting manually, you get an error about vmlinuz, right? What does it says exactly? What do you mean by "vmlinuz is missing"?

Maybe try this then: https://askubuntu.com/questions/150691/missing-vmlinuz-from-boot

or this https://askubuntu.com/questions/257078/casper-vmlinuz-not-found

or even something here might help: https://www.reddit.com/r/archlinux/comments/31bwrx/error_loading_vmlinuzlinux_not_found/

Of course, you can also try #libreboot and you better be patient because you can have an answer after hours. But it seems related to Trisquel, since vmlinuz seems to be part of the kernel. But I might be wrong. Hope this helps a bit.

Wait, I just remembered something: it's possible to access the HDD from a liveUSB. I can't remember how the procedure is called, but I know I've detailed it in this forum (and did it obviously). Oh right, it('s called chrooting, and it might be easier to troubleshoot while being logged.

I have no idea if it would work with a cdrom, but I guess it should work. I'm looking for a chrooting tutorial I've posted somwhere in the forum.

I just have written an answer that the forum refused to let me publish (access denied)...

Anyway, here it is:
https://stephentanner.com/restoring-grub-for-an-encrypted-lvm.html

I took it from here: https://trisquel.info/en/forum/netinsall-tty-apt-get-update-not-working#comment-98813

The idea is to start a livecd or liveusb, open the CLI, then type a bunch of commands in order to access your encrypted disk.

From there, you need to know more about vmlinuz and how to replace it or rename it or whatever makes it work.
Hence the links I've posted above (I don't know if they precisely apply to your problem though).
Also this explains a bit more: https://en.wikipedia.org/wiki/Vmlinux

No problem, I know how irritating it is to make Libreboot work. My case was special, but it took me 6 months because of a damn bug: impossible to boot when the cd drive is inside the Ultrabase.

But that's as far as I can go right now, you need to try chrooting (just follow the instructions and adapt them if needed), and you need to find out what to do with vmlinuz.
I'll keep trying to help if I can though.

Just stay as calm as you can, be patient, and never give up :)

Is it an error while chrooting?
What is /dev/zapper?
At which step are you exactly?
Trying to mount the partitions, as in this?
mkdir /media/linux
mount /dev/main/root /media/linux
mount /dev/main/usr /media/linux/usr
mount -o bind /proc /media/linux/proc
mount -o bind /dev /media/linux/dev
mount -o bind /sys /media/linux/sys

From the livecd or usb, in the CLI, the first command you need to type is modprobe dm-crypt, followed by
cryptsetup luksOpen /dev/sda3 linux (can be sdaX, X being a number. maybe fdisk -l might tell you the name of your encrypted drive, I don't remember exactly how I've figured it out).

That's just a guess, but maybe try to go in the /media folder and create a /usr folder, then try again (you'll most likely need to be as root user to do so).
I don't know if it's supposed to be there by default or not, I can't remember exactly how it went for me.

CalmStorm, I have the same issue: After installing Trisquel on libreboot and trying to boot I get stopped by the "error: file `/vmlinuz' not found" message.

And I've found no way of solving it yet.

I have an 'appointment' with Leah Rowe, that she will guide me to a solution via #libreboot some day. I already discussed this with her and together we found, that I apparently have no /boot/ and no vmlinuz files, which she finds "strange".

By email Leah suggested me to "add a symlink in your / to make that file, or you can modify your grub like so: https://libreboot.org/docs/gnulinux/grub_cbfs.html"

And to this in this way:

"Boot trisquel live usb and mount the installed partition then go into
/boot/grub on that partition in your terminal and do:

ln -s grub.cfg libreboot_grub.cfg

reboot and it should work"

If you manage to solve this, please let me know.

CalmStorm: Did you ever access Trisquel after installation?

name at domain, Ven 30 Set 2016 23:25:33 CEST:

> 2) Get the MAC adress of the laptop, most likely on a sticker at the
> bottom of the laptop. Get the ROM image you need. For this, you need
> to pick it in the grub folder, knowing if it's 4, 8 or 16m (can't
> remember how I know that, so if anyone knows, please let us know),

The command to get the size of your ROM is:

# dmidecode | grep ROM\ Size

...as seen in https://libreboot.org/docs/install/x200_external.html

------------------------------------------------------------------------
Ignacio Agulló · name at domain

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.

Just happened to update Libreboot on my x200, following the
instructions at https://libreboot.org . Things are OK now, but I
experienced an issue, which I'll report here.

I chose to have a fully encrypted disk, and that's OK. But
then I chose to add a GRUB password, and that's where I found trouble.
By any inexplicable process, adding a GRUB password at grubtest.cfg
always caused my keyboard to malfunction. The shift key started
working oddly: it stopped working, but only for the letter keys. So,
when at boot time I had to introduce the disk passphrase and I needed
symbols, there was no problem - but when I needed a capital letter, I
would have to turn Caps Lock on (and then off again if it followed a
non-capital letter). When system was finally started, the keyboard
problems still were present, making it difficult to write capital
letters every time. I reflashed the x200 using different ROMs, even
from old versions of Libreboot, but it only got worst from there.
Caps Lock stopped working mid-boot: the Caps Lock light would stop
reacting to the keypress and the passphrase would no longer be
recognized. I got to the point that there was no way to boot the
system, so I had to resort to an Trisquel USB with the libreboot utils
so I could boot Trisquel live and reflash the system from there.

So far, I have been unsuccessful to get Libreboot work well with
a GRUB password.

------------------------------------------------------------------------
Ignacio Agulló · name at domain

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.

I am not sure if this is an appropriate comment, but:

As I wrote above, Leah advised me to add the symlink for vmlinuz myself (by the above mentioned commands). So I booted from a live-usb, mounted the encrypted partition and found, that the vmlinuz symlink to the vmlinuz file in /boot/ is there!

So why wont Libreboot read it?