[Top][All Lists]

[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   <>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

Attachment: pine64.scm
Description: Text document

Attachment: signature.asc
Description: PGP signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]