[Top][All Lists]

[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 
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 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 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 Marsden <>

reply via email to

[Prev in Thread] Current Thread [Next in Thread]