From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id eEB6E9flJWChbAAA0tVLHw (envelope-from ) for ; Fri, 12 Feb 2021 02:20:07 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id KMBxD9flJWCndgAAB5/wlQ (envelope-from ) for ; Fri, 12 Feb 2021 02:20:07 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 7AF759403D2 for ; Fri, 12 Feb 2021 02:20:06 +0000 (UTC) Received: from localhost ([::1]:46352 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lAO3w-0003rn-Qv for larch@yhetil.org; Thu, 11 Feb 2021 21:20:04 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:48216) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lAO3c-0003ra-Sq for help-guix@gnu.org; Thu, 11 Feb 2021 21:19:44 -0500 Received: from cascadia.aikidev.net ([2600:3c01:e000:267:0:a171:de7:c]:46792) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lAO3a-0001Ef-WD for help-guix@gnu.org; Thu, 11 Feb 2021 21:19:44 -0500 Received: from localhost (unknown [IPv6:2600:3c01:e000:21:21:21:0:100b]) (Authenticated sender: vagrant@cascadia.debian.net) by cascadia.aikidev.net (Postfix) with ESMTPSA id A540E1AA2F; Thu, 11 Feb 2021 18:19:38 -0800 (PST) From: Vagrant Cascadian To: Jonathan Marsden , Leo Famulari Subject: Re: Another Raspberry Pi data point In-Reply-To: <2774b71b-0865-4fd4-b9c9-2beabd0e6b7a@www.fastmail.com> References: <6d54c219be2ec6f54de5eb2aaa45aa72@huxton.org.uk> <87a5abdc-9a36-4821-af8f-54ac68adfa0d@www.fastmail.com> <2774b71b-0865-4fd4-b9c9-2beabd0e6b7a@www.fastmail.com> Date: Thu, 11 Feb 2021 18:19:33 -0800 Message-ID: <87sg6210zu.fsf@yucca> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: none client-ip=2600:3c01:e000:267:0:a171:de7:c; envelope-from=vagrant@debian.org; helo=cascadia.aikidev.net X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: help-guix@gnu.org Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -1.46 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Migadu-Queue-Id: 7AF759403D2 X-Spam-Score: -1.46 X-Migadu-Scanner: scn1.migadu.com X-TUID: UjG8B/8BJALV --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable On 2021-02-11, Jonathan Marsden wrote: > On Thu, Feb 11, 2021, at 15:21, Leo Famulari wrote: >> On Wed, Feb 10, 2021 at 10:34:17PM -0600, Jonathan Marsden wrote: >> Well, it's supposed to work in the sense that we build kernels and >> bootloaders for aarch64, so Guix should be able to created images for >> that platform too. I'm not sure if the code is supposed to create images >> that match the host architecture, though, or for non-x86_64 at all. We >> may need to do a little more work in this area. > > As I understand it, aarch64 SBCs each have their own different, not yet=20 > standardized, boot processes, so unlike common x86-64 "PC" machines, ther= e=20 > is a need for boot definition work that is board-specific. Knowing which = SBCs=20 > have been tested and are known to boot Guix System, preferably with a sam= ple=20 > OS definition file, would be valuable. ... > Is anyone currently booting Guix System on a small single board computer = that=20 > they can share info about, and ideally share a sample Guix system OS .scm= file=20 > definition for? There's an example system configuration for veyron-speedy in: gnu/system/examples/asus-c201.tmpl I'm not sure how well it is working out-of-the-box; last I checked it only worked with linux-libre@5.4. There's also one for pinebook-pro in the wip-pinebook-pro branch. > Regarding the Raspberry Pi specifically, how can we help with the work be= ing=20 > done at https://issues.guix.gnu.org/44543 ? Do the folks working on that= already=20 > have Guix System booting on a Raspberry Pi ? The raspberry pi boards are exceptionally peculiar in how they boot compared to other boards, and the free firmware is very limited if it works at all still... I've run guix on aarch64: pine64+, rockpro64-rk3399, rock64-rk3328, pinebook, pinebook-pro-rk3399, overdrive-1000, puma-rk3399 ... and on armhf: novena, wandboard solo (painful and long ago), veyron-spe= edy I've probably forgotten some others; too many to keep track of. :/ Other than pinebook, pinebook-pro and veyron-speedy, I've almost exclusively run them headless on serial console. Usually with usb ethernet and/or wireless adapaters, as the built-in ones typically require non-free firmware. Some general things I tend to do is use the linux-libre-arm-generic or linux-libre-arm64-generic kernels, and configure the initrd with an empty modules list, as these kernels usually have builtins for most of the needed drivers. It is tricky to manually craft the right initrd modules to load by hand (many have soft module dependencies on various subsystems that are not easily discoverable). If guix supported an initrd that would included nearly all the kernel modules and run modprobe that would be a huge improvement and make it more plausible to use the regular "linux-libre" kernel, and as a nice side-effect, almost be able to use the same system configuration on multiple different boards (bootloader aside). I've not used guix on any of them for real world tasks, other than to try and get guix running on them. :) live well, vagrant --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQRlgHNhO/zFx+LkXUXcUY/If5cWqgUCYCXltgAKCRDcUY/If5cW qnm+APsF5kALi5Wrq3GMfAe8VSc+gcXY5DSoU+c/nNXfzjUFLwD/SOrvuRC/+dYt OYOXoeNR/j7qwqUKkbm4rnzALYLZAAI= =QQgS -----END PGP SIGNATURE----- --=-=-=--