Have you seen Raghav's guide?
https://flossmanuals.net/pub/guix-system-and-libreboot.pdf
https://notabug.org/libreboot/libreboot/src/master/docs/gnulinux/guix_system.md
I hope that helps.
December 25, 2020 10:53 AM, help-guix-requ...@gnu.org wrote:
> Send Help-Guix mailing list submissions to
>
YES! I do have experience with this! I have a T400.
After you install libreboot (with a grub payload), turn on your T400.
When you get to the libreboot grub payload, then insert your usb stick
with guix on it. There are several options to choose to boot. I think
that you have to choose the "
