From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: GuixSD on the SoftIron OverDrive 1000 (AArch64) Date: Sat, 20 Oct 2018 15:20:44 +0200 Message-ID: <87d0s4ah5f.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:60067) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gDrBP-0005pF-2c for guix-devel@gnu.org; Sat, 20 Oct 2018 09:20:48 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gDrBO-0001Bf-6d for guix-devel@gnu.org; Sat, 20 Oct 2018 09:20:47 -0400 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:39854) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gDrBO-0001BX-0J for guix-devel@gnu.org; Sat, 20 Oct 2018 09:20:46 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=58240 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1gDrBN-0005C8-On for guix-devel@gnu.org; Sat, 20 Oct 2018 09:20:45 -0400 List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Guix-devel 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=C2=B9 (its PSU died a while back and I just received a replacement from SoftIron, and I thought it was also a good time to replace the distro.) The device comes with openSuSE preinstalled and I had first installed Guix from the binary tarball. It=E2=80=99s a =E2=80=9Cnormal=E2=80=9D UEFI= machine so we can use =E2=80=98grub-efi=E2=80=99 directly. I came up with this GuixSD config: https://git.savannah.gnu.org/cgit/guix/maintenance.git/tree/hydra/overdri= ve.scm The main difficulty was to come up with the right combination of modules for the initrd, without which we=E2=80=99d fail to mount the root file syst= em. Fortunately the OverDrive has a serial output that makes it easy to debug boot failures. With that config, I just run: guix system init overdrive.scm / and that=E2=80=99s it! 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 don=E2=80=99t. The solution is just to remove/rename them from the Gu= ile initrd REPL. Once this is done, booting proceeds flawlessly and happiness ensues. Really nice to see that it=E2=80=99s this easy and fully functional with 10= 0% free software! Cheers, Ludo=E2=80=99. =C2=B9 https://gnu.org/software/guix/blog/2018/aarch64-build-machines-donat= ed/