[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Another Raspberry Pi data point
From: |
Jonathan Marsden |
Subject: |
Re: Another Raspberry Pi data point |
Date: |
Wed, 10 Feb 2021 22:34:17 -0600 |
User-agent: |
Cyrus-JMAP/3.5.0-alpha0-141-gf094924a34-fm-20210210.001-gf094924a |
On Wed, Feb 10, 2021, at 20:14, Leo Famulari wrote:
> On Wed, Feb 10, 2021 at 09:06:06PM +0000, Richard Huxton wrote:
>> I had no success with building a vm or disk image - a build would take hours
>> and then fail trying to assemble the boot subsystem, seemingly having
>> switched to x86 architecture. ...
> Hm, that's a bug :/
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!
>> My eventual aim was to try and create lxc/lxd containers via guix, but step
>> 1 of that was to get a VM working. I shall have another attempt in a few
>> weeks. Part of my problem may just be that I am unfamiliar with arm boot
>> setups.
> It might help if you shared the config.scm you used for creating your vm
> images.
My attempt (which had a similar-seeming issue) was included at the end of
my earlier message to this list, to which Richard is responding. It is at
https://lists.gnu.org/archive/html/help-guix/2021-02/msg00031.html and
the scm file is at the end of the message.
>> So - as of the start of 2021, on top of a foreign distro Guix works fine on
>> a Raspberry Pi. If you are reading by the end of 2021 I suspect it will work
>> in any of the scenarios described in the docs.
> Let's make it happen!
Yes! So how can we help get there from here? In the meantime, I have seen
a response on Reddit in r/guix which pointed me to some (late 2020) work at
https://issues.guix.gnu.org/44543 by Stefan and by Danny Milosavljevic, which
is specific to Raspberry Pi booting. A known working complete example
operating system definition file for a Raspberry Pi, and any workarounds it
needs (such as manually copying in a binary bootloader "blob"?) would be
*really* helpful. Is anyone able to share one on the list (or in that "issue")?
Many thanks, I am encouraged to see others interested in getting Guix System
working on the Raspberry Pi!
Jonathan
--
Jonathan Marsden <jmarsden@fastmail.fm>
- Another Raspberry Pi data point, Richard Huxton, 2021/02/10
- Re: Another Raspberry Pi data point, Leo Famulari, 2021/02/10
- Re: Another Raspberry Pi data point,
Jonathan Marsden <=
- Re: Another Raspberry Pi data point, Leo Famulari, 2021/02/11
- Re: Another Raspberry Pi data point, Jonathan Marsden, 2021/02/11
- Re: Another Raspberry Pi data point, Vagrant Cascadian, 2021/02/11
- EDK2 support Was: Another Raspberry Pi data point, raingloom, 2021/02/12
- Re: Another Raspberry Pi data point, Efraim Flashner, 2021/02/15
- Re: Another Raspberry Pi data point, Efraim Flashner, 2021/02/16