Re: Stuck at boot on fresh install

[David Lecompte]

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.