Re: Librem Mini with pureboot/head don't boot GuixSD

2021-09-01 Thread Tobias Geerinckx-Rice
Bonjour Roland, Roland Everaert 写道: Without the form (menu-entries), in the bootloader definition, 'reconfigure' runs fine. So what am I doning wrong? You're passing a single ‘menu-entry, but ’menu-entries’ takes a list of them--even if you have only one. Try (bootloader

Re : Re: Librem Mini with pureboot/head don't boot GuixSD

2021-09-01 Thread Roland Everaert
Hello again, I am slowly moving forward with this topic. I manage to reinstall GuixSD on the librem Mini. But, now I am having issues with configuring GuixSD to add an entry to the bootloader menu, so, I can tell HEADS to actually use the kernel in the separate partition mounted to /boot. I

Re: Librem Mini with pureboot/head don't boot GuixSD

2021-08-19 Thread Thiago Jung Bauermann
Hello Roland, Em quinta-feira, 19 de agosto de 2021, às 11:57:45 -03, Roland Everaert escreveu: > I manage to successfuly copy the needed files to /boot using the `for > each` loop from ‘%copy-kernel-and-initrd’, Thank You. That’s great! > However, I need to resize (i.e. reduce) the root

Re : Re: Librem Mini with pureboot/head don't boot GuixSD

2021-08-19 Thread Roland Everaert
Hello Thiago, I manage to successfuly copy the needed files to /boot using the `for each` loop from ‘%copy-kernel-and-initrd’, Thank You. However, I need to resize (i.e. reduce) the root filesystem so /boot can live in its own one. Currently, copying the kernel files too /boot is useless, as

Re: Librem Mini with pureboot/head don't boot GuixSD

2021-08-14 Thread Thiago Jung Bauermann
Hello, Em sábado, 14 de agosto de 2021, às 08:23:17 -03, Roland Everaert via escreveu: > The good news, I manage to boot the system. Nice! > I can apply your suggested workaround, but I will need some help to > understand how to adapt /etc/config.scm to copy the kernel to /boot, if > it is

Re : Librem Mini with pureboot/head don't boot GuixSD

2021-08-14 Thread Roland Everaert via
Hello Tobias, I have a good news and a bad news. The good news, I manage to boot the system. The bad news, I have to boot the root file system, hence, /. This imply that I have either to re-sign the whole disk at every boot or boot every time in unsafe mode. To answer your question, I have

Re: Librem Mini with pureboot/head don't boot GuixSD

2021-08-12 Thread Tobias Geerinckx-Rice
Bonjour Roland, I've ordered another X230T this summer exactly to experiment with Heads+Guix, but it has yet to arrive. On 2021-08-12 12:59, Roland Everaert via wrote: I have tried re-signing the content of /boot with my librem key, But are both your kernel and initrd in /boot, and is that

Librem Mini with pureboot/head don't boot GuixSD

2021-08-12 Thread Roland Everaert via
Hello, I have installed GuixSD on a Librem Mini, from Purism. After rebooting, the system stubbornly stay on the pre-boot screen with the last line printed being ‘Found kexec boot params’. I have tried re-signing the content of /boot with my librem key, generating new TOTP/HOTP secrets and