[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:02:45 +0200 |
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.
--
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
pine64.scm
Description: Text document
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 <=
- Re: Another Raspberry Pi data point, Efraim Flashner, 2021/02/16