[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Another Raspberry Pi data point
From: |
Efraim Flashner |
Subject: |
Re: Another Raspberry Pi data point |
Date: |
Mon, 15 Feb 2021 12:06:02 +0200 |
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 .scm
> > file
> > definition for?
> >
>
> Here's a link to my pine64 config. Some config options I've factored out
> into other files in the repository, but I've included a stripped-down
> version attached to this email. It will build no-problems from an
> aarch64 machine, but will need to have some services removed to
> cross-compile from x86_64.
>
Forgot the link
https://git.sr.ht/~efraim/guix-config/tree/master/pine64.scm
--
Efraim Flashner <efraim@flashner.co.il> אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
signature.asc
Description: PGP signature
- 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, 2021/02/10
- 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 <=