Re: Another Raspberry Pi data point

[Jonathan Marsden]

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>