El Wed, 7 Jun 2017 11:29:02 -0500 Quiliro <quil...@riseup.net> escribió:
> El Thu, 20 Apr 2017 10:15:52 +0200 > l...@gnu.org (Ludovic Courtès) escribió: > > > Hi, > > > > Quiliro <quil...@riseup.net> skribis: > > > > > Would someone guide me how to install and configure GuixSD for this > > > UEFI machine? Thanks > > > > Installing to UEFI from the GuixSD 0.12 installation image is rather > > involved, so I would recommend waiting for the upcoming release, which > > should have a solution for UEFI. As you might have seen, Marius has > > been working on it: > > > > https://lists.gnu.org/archive/html/guix-devel/2017-04/msg00364.html > > > > Perhaps you can beta-test the new installation image when it’s ready? > > It boots marvelously. But I cannot install because I either have to use the > USB WiFi or the USB installer because there is only one port and the embeded > WiFi is non-free. > > I was told I could install it via the Debian that was installed on another > partition. But I don't know how to do it. I have Guix installed in Debian. I installed from Debian using: guix system init /mnt/etc/bare-bones.scm /mnt where /mnt is /dev/sda3 (which is also specified on bare-bones.scm). It was correctly finished except it could not install GrUB. So it would not boot. Moreover, rEFInd, the libre EFI boot loader, did not recognize GuixSD. So I tryed 2 things: 1. Booting from the GuixSD USB installer and executing: guix system reconfigure /mnt/etc/bare-bones.scm but it would give error: cannot build derivation 2. From Debian I executed: grub-install But I get error: /gnu/store/...-grub-2.02/lib/grub/x86_64-efi/modinfo.sh does not exist. Please specify --target or --directory. This has the same error with these also: grub-install /dev/sda grub-install /dev/sda --efi-directory=/mnt/boot/efi Plus the GuixSD USB installer lacks /gnu/store/...-grub-2.02/lib/grub/x86_64-efi directory. How can I boot from the GuixSD installed partition?
