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 : 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