From: "Jonathan Marsden" <jmarsden@fastmail.fm>
To: "Leo Famulari" <leo@famulari.name>
Cc: help-guix@gnu.org
Subject: Re: Another Raspberry Pi data point
Date: Thu, 11 Feb 2021 19:24:36 -0600 [thread overview]
Message-ID: <2774b71b-0865-4fd4-b9c9-2beabd0e6b7a@www.fastmail.com> (raw)
In-Reply-To: <YCWfv7quLJlWEAGC@jasmine.lan>
On Thu, Feb 11, 2021, at 15:21, Leo Famulari wrote:
> On Wed, Feb 10, 2021 at 10:34:17PM -0600, Jonathan Marsden wrote:
>> Just knowing that is useful info! I wasn't sure if it was "supposed" to work.
>> I have not found a list of which aarch64 SBC boards Guix System is supposed
>> to work on. I'd love to see such a list, if one exists. Even better If it includes
>> links to a sample working operating system definition file for each board!
> 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
standardized, boot processes, so unlike common x86-64 "PC" machines, there
is a need for boot definition work that is board-specific. Knowing which SBCs
have been tested and are known to boot Guix System, preferably with a sample
OS definition file, would be valuable.
There is a recent list of 150 Linux-oriented SBCs at
http://linuxgizmos.com/files/Jan-2021-LG-SBC-Catalog-Rev-A.xls
However it doesn't indicate how well or badly these boards "respect your
freedom", nor whether they can boot Guix System.
At the FSF end of things, the RYF product list doesn't seem to include *any* SBCs
at all, from what I can see at https://ryf.fsf.org/products . Maybe no SBCs are
sufficiently free to qualify? It looks like the EOMA68 Libre Taa Computer Card
might qualify. https://www.crowdsupply.com/eoma68/micro-desktop
Is anyone currently booting Guix System on a small single board computer that
they can share info about, and ideally share a sample Guix system OS .scm file
definition for?
Regarding the Raspberry Pi specifically, how can we help with the work being
done at https://issues.guix.gnu.org/44543 ? Do the folks working on that already
have Guix System booting on a Raspberry Pi ?
Jonathan
next prev parent reply other threads:[~2021-02-12 1:25 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-02-10 21:06 Another Raspberry Pi data point Richard Huxton
2021-02-11 2:14 ` Leo Famulari
2021-02-11 4:34 ` Jonathan Marsden
2021-02-11 21:21 ` Leo Famulari
2021-02-12 1:24 ` Jonathan Marsden [this message]
2021-02-12 2:19 ` Vagrant Cascadian
2021-02-12 5:12 ` EDK2 support Was: " raingloom
2021-02-15 10:02 ` Efraim Flashner
2021-02-15 10:06 ` Efraim Flashner
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=2774b71b-0865-4fd4-b9c9-2beabd0e6b7a@www.fastmail.com \
--to=jmarsden@fastmail.fm \
--cc=help-guix@gnu.org \
--cc=leo@famulari.name \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.