Re: GuixSD on the SoftIron OverDrive 1000 (AArch64)

2018-10-22 Thread Ludovic Courtès
Hello! Efraim Flashner skribis: > On Sat, Oct 20, 2018 at 03:20:44PM +0200, Ludovic Courtès wrote: >> Hello Guix! >> >> The device comes with openSuSE preinstalled and I had first installed >> Guix from the binary tarball. It’s a “normal” UEFI machine so we can >> use ‘grub-efi’ directly. I

Re: GuixSD on the SoftIron OverDrive 1000 (AArch64)

2018-10-22 Thread Ludovic Courtès
Hi, Jan Nieuwenhuizen skribis: > Ludovic Courtès writes: [...] >> On the first boot, the GuixSD activation snippets fail while trying to >> install /etc, /etc/pam.d, and /etc/skel, and /etc/ssl because these >> directories already exist (from openSuSE) whereas GuixSD assumes that >> they

Re: GuixSD on the SoftIron OverDrive 1000 (AArch64)

2018-10-20 Thread Efraim Flashner
On Sat, Oct 20, 2018 at 03:20:44PM +0200, Ludovic Courtès wrote: > Hello Guix! > > The device comes with openSuSE preinstalled and I had first installed > Guix from the binary tarball. It’s a “normal” UEFI machine so we can > use ‘grub-efi’ directly. I came up with this GuixSD config: > > >

Re: GuixSD on the SoftIron OverDrive 1000 (AArch64)

2018-10-20 Thread Jan Nieuwenhuizen
Ludovic Courtès writes: > Following advice and encouragements from Vagrant and Danny :-), I > successfully installed GuixSD on the SoftIron OverDrive 1000 machine > that was donated last January¹ (its PSU died a while back and I just > received a replacement from SoftIron, and I thought it was

GuixSD on the SoftIron OverDrive 1000 (AArch64)

2018-10-20 Thread Ludovic Courtès
Hello Guix! Following advice and encouragements from Vagrant and Danny :-), I successfully installed GuixSD on the SoftIron OverDrive 1000 machine that was donated last January¹ (its PSU died a while back and I just received a replacement from SoftIron, and I thought it was also a good time to