From mboxrd@z Thu Jan 1 00:00:00 1970 From: Efraim Flashner Subject: Re: GuixSD on the SoftIron OverDrive 1000 (AArch64) Date: Sat, 20 Oct 2018 21:29:59 +0300 Message-ID: <20181020182959.GA1102@macbook41> References: <87d0s4ah5f.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="bg08WKrSYDhXBjb5" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:37229) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gDw0q-0002mm-Mo for guix-devel@gnu.org; Sat, 20 Oct 2018 14:30:13 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gDw0i-0004sC-M4 for guix-devel@gnu.org; Sat, 20 Oct 2018 14:30:11 -0400 Content-Disposition: inline In-Reply-To: <87d0s4ah5f.fsf@gnu.org> 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: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: Guix-devel --bg08WKrSYDhXBjb5 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sat, Oct 20, 2018 at 03:20:44PM +0200, Ludovic Court=C3=A8s wrote: > Hello Guix! >=20 > 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 UE= FI machine so we can > use =E2=80=98grub-efi=E2=80=99 directly. I came up with this GuixSD conf= ig: >=20 > https://git.savannah.gnu.org/cgit/guix/maintenance.git/tree/hydra/overd= rive.scm >=20 Can I draw your attention to commits 64791eb7e1dceb0940cc881e84820f0170298b34 and 39d7fdce453b0ca23ecbed72048647debbaa58a6 ? :) > 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 sy= stem. > Fortunately the OverDrive has a serial output that makes it easy to > debug boot failures. >=20 > With that config, I just run: >=20 > guix system init overdrive.scm / >=20 > and that=E2=80=99s it! >=20 How did you figure out which modules you needed for the device? Also, I'd suggest this diff: diff --git a/hydra/overdrive.scm b/hydra/overdrive.scm index 072c095..304acd6 100644 --- a/hydra/overdrive.scm +++ b/hydra/overdrive.scm @@ -72,7 +72,7 @@ `(("ludo" ,(local-file "keys/ssh/ludo.pub")) ("rekado" ,(local-file "keys/ssh/rekado.pu= b")) ("dannym" ,(local-file "keys/ssh/dannym.pu= b")))))) - (dhcp-client-service) + (service dhcp-client-service-type) (service mcron-service-type (mcron-configuration (jobs (list gc-job btrfs-job)))) @@ -84,7 +84,7 @@ (term "vt220") (baud-rate "115200,38400,9600"))) - (ntp-service) + (service ntp-service-type) (modify-services %base-services (guix-service-type config =3D> @@ -97,4 +97,4 @@ (extra-options '("--max-jobs=3D2" "--cores=3D3"= ))))))) - (packages (cons* screen openssh strace %base-packages))) + (packages (cons* btrfs-progs screen openssh strace %base-packages))) --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --bg08WKrSYDhXBjb5 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAlvLdCIACgkQQarn3Mo9 g1Fgxg//ZDO3SjGWfmrHhcAislMCbwifc4e1Dgpc8uGSDHNU2t5Hd6DYJoh4pRze 83NF5NHWN4UnmxY/Td4VcZq2E0wuX+4eB4TL6OifmrNcbRdwKccpMEMfAP8/6ome eiuI/UlkbQQGlh3gf3I0NQrL5asSQ8FMtS3MXs46u3HGxyL4ZHzXYRNk2HiW1o9i +bEBrohEq8yjL91ZoQ1bMA87v0MNUTKJNfMk80AeBZh2rbEgXOUXH9+vx7u4kzfa 8ImpRvWRHIbsP9OEpe2jh1kEsUSglU12osMGQLEjqJNz/5jbRQCenB+bmilflxyt ax0JLLOHeo1OTq7s0miXxESAF2Tsc/Ceg9ljskFhfKywFod0YwjiKki6FHRsZQu4 /H8v/sQfdPHmt/kWnkIyXstAiHWgKLmtP1j8XQ4DW+NSATiahx7s1sdjLVsr7RwX zKgv8EPWnR/CBC55YQcy+4D4xSPqDvJBM/EB5sTAuDrNzoK3C63mseegtt2jKedh 3LOdxa3KLAn7vmy6QT9YirwsQvZh+OezxPhDQ0ct+15uIv9jEQHh3EO1vFDnte+n MGMbtSYunWMK6OGCW464TagNjGi813GOsWUvJ7FLwceTh8MnF+ZvYQv9445y72Dc HinUT2V5cioo1xZushq5+Frq2PWKRATGYNEOmH1EoENOhc9/JEs= =czMR -----END PGP SIGNATURE----- --bg08WKrSYDhXBjb5--