Re: Another Raspberry Pi data point

2021-02-16 Thread Efraim Flashner
On Mon, Feb 15, 2021 at 12:02:45PM +0200, Efraim Flashner wrote: > On Thu, Feb 11, 2021 at 07:24:36PM -0600, Jonathan Marsden wrote: > > > > 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

Re: Another Raspberry Pi data point

2021-02-15 Thread Efraim Flashner
On Thu, Feb 11, 2021 at 07:24:36PM -0600, Jonathan Marsden wrote: > > 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? > Here's a link to my pine64 config. Some co

Aw: Another Raspberry Pi data point

2021-02-13 Thread Stefan
Hi! The change in is waiting to be committed by someone. And I will send more changes to progress with the Raspberry support. Currently I have a booting setup over NFS with the firmware blob, a customized U-Boot, Grub and kernel. There is no possibility yet

EDK2 support Was: Another Raspberry Pi data point

2021-02-11 Thread raingloom
On Thu, 11 Feb 2021 19:24:36 -0600 "Jonathan Marsden" wrote: > 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. There is actually a s

Re: Another Raspberry Pi data point

2021-02-11 Thread Vagrant Cascadian
On 2021-02-11, Jonathan Marsden wrote: > On Thu, Feb 11, 2021, at 15:21, Leo Famulari wrote: >> On Wed, Feb 10, 2021 at 10:34:17PM -0600, Jonathan Marsden wrote: >> Well, it's supposed to work in the sense that we build kernels and >> bootloaders for aarch64, so Guix should be able to created image

Re: Another Raspberry Pi data point

2021-02-11 Thread Jonathan Marsden
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.

Re: Another Raspberry Pi data point

2021-02-11 Thread Leo Famulari
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

Re: Another Raspberry Pi data point

2021-02-10 Thread Jonathan Marsden
On Wed, Feb 10, 2021, at 20:14, Leo Famulari wrote: > On Wed, Feb 10, 2021 at 09:06:06PM +, 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 architec

Re: Another Raspberry Pi data point

2021-02-10 Thread Leo Famulari
On Wed, Feb 10, 2021 at 09:06:06PM +, Richard Huxton wrote: > I saw Jonathan Marsden's post the other day, but wasn't subscribed then, so > this will have to be another data point. Thanks for the report! > Guix seems to work well for applications on top of both debian and alpine > containers

Another Raspberry Pi data point

2021-02-10 Thread Richard Huxton
I saw Jonathan Marsden's post the other day, but wasn't subscribed then, so this will have to be another data point. I also have a Raspberry Pi 4, and it's quite a capable little machine. I run Debian bullseye (still in testing) for the host O.S. and lxd to provide container services. Guix s