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

[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 
HEAD will scan and sign all the files in /, anyway.

Did you have any article discussing such process?

I find plenty of articles about increasing the root partition, but, none to 
reduce it.

As the root partition cannot be unmounted online, I need to know if there is a 
simple way to "switch to an offline mode of sort".
For example, I could map a minimal root FS in memory and chroot to it. An other 
possibility is to copy a guix system to a USB drive and boot from it.

The USB option seems the easiest, but the one with the RAMFS seems neat.

What are the recommandations of the fine folks on this ML, for such operation?



Roland Everaert
---
Use the F.O.S.S., Luke

Sent with ProtonMail Secure Email.

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐

Le samedi 14 août 2021 à 21:30, Thiago Jung Bauermann <bauermann@kolabnow.com> 
a écrit :

> 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 possible, from the configuration file.
>
> You could use ‘%copy-kernel-and-initrd’ from here as a basis:
>
> https://git.savannah.gnu.org/cgit/guix/maintenance.git/tree/hydra/
>
> berlin.scm#n97
>
> If you change “/store” to “/boot” in the code perhaps it will work in your
>
> case.
>
> ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
>
> Thanks,
>
> Thiago