Hi Florian, > You further could try editing the Guix configuration file in the > installer to get another kernel such as: > > (use-package-modules linux) > > (operating-system > … > (kernel linux-libre-4.19) > …) >
Thanks, I did not know I could do that during the install. However, when I enter the passphrase, GRUB now replies: error: access denied error: no such cryptodisk found. which is what I had before when I typed the passphrase wrong. I tried several times, assuming different keyboard layouts, it did not work. Either I did not apply your suggestion properly, or I made another mistake during the setup, or something is missing. > Is it perhaps necessary to upgrade the BIOS first? The BIOS is GNU boot v0.1 rc 3, latest version of GNU boot. With it, Trisquel works fine. I feel a little tired now, I will retry another day. Regards, David.