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 <[email protected]>
