#48314 - [PATCH] Install guix system on Raspberry Pi

Package	Source(s)		Maintainer(s)
guix-patches		PTS Buildd Popcon

Message #170 received at 48314@debbugs.gnu.org (full text, mbox, reply):

Received: (at 48314) by debbugs.gnu.org; 14 Aug 2022 09:59:21 +0000
From debbugs-submit-bounces@debbugs.gnu.org Sun Aug 14 05:59:20 2022
Received: from localhost ([127.0.0.1]:35798 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1oNAOu-0004l4-Mg
	for submit@debbugs.gnu.org; Sun, 14 Aug 2022 05:59:20 -0400
Received: from mail-40131.protonmail.ch ([185.70.40.131]:51793)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <phodina@protonmail.com>) id 1oNAOr-0004kn-Ty
 for 48314@debbugs.gnu.org; Sun, 14 Aug 2022 05:59:19 -0400
Date: Sun, 14 Aug 2022 09:59:04 +0000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com;
 s=protonmail3; t=1660471150; x=1660730350;
 bh=a4+sHoCWyVAGr7LBWB2orOA0c+czEK58z8TLMLyOmbs=;
 h=Date:To:From:Cc:Reply-To:Subject:Message-ID:In-Reply-To:
 References:Feedback-ID:From:To:Cc:Date:Subject:Reply-To:
 Feedback-ID:Message-ID;
 b=ayO/3/H9CuHQzT7YKdsc7iCxh65UG4PmsGHNAna5KHsPiqHpQAwTd9BiO2TIbGZx1
 jinSRhQZ37mDmbsuNgLnt7GZj2tA/fqEVq7cBgzSbolT+X7wPyG7V59fWBBRJGe4y3
 /5G+LrsD09eGX3QOr0iYVcQemSeSno3Et/5UTlDngFCF7p8NRn6uzuF+j9HRF9fZl9
 EzzLbOCMXdzZc57z8AOHmVlFdW2PsWuIoPI8vqA47gIq0VxMXoDHRJx9Lk8mpsn2Y4
 Z1RVEDeKIMdraB6l81h2pJYGtdODaGTpEIWlWfcLbDT5xA8hje6XwrUp20Da/SHa0a
 oQdce3wpKEvPg==
To: Stefan <stefan-guix@vodafonemail.de>
From: phodina <phodina@protonmail.com>
Subject: Re: [PATCH v3] Install guix system on Raspberry Pi
Message-ID: <xjr0W3rUn2GueNJb8lTEyJfyt5ECWhhz6FymZT-rQmOFC_H7woQjM_l9TFaza-5Sruwkn8XgBv5LTcR-gyKkSzwC5VU078zVqqDkSP7Sn2U=@protonmail.com>
In-Reply-To: <B1668A7F-A974-4CBE-93EF-24EEB776C680@vodafonemail.de>
References: <l6WqHiPe2KyGlSJh6P0GC-HgB2FtQ9KNr64YZNUv581fODPnfdcujxm0cpxYTR6QL9sz85YavhYa9oaerpfhNQn1UMqe8GbGT4GRoYnN_6c=@protonmail.com>
 <B1668A7F-A974-4CBE-93EF-24EEB776C680@vodafonemail.de>
Feedback-ID: 14143818:user:proton
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 48314
Cc: Vagrant Cascadian <vagrant@debian.org>, dannym@scratchpost.org,
 Ludovic Courtès <ludo@gnu.org>, 48314@debbugs.gnu.org
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Reply-To: phodina <phodina@protonmail.com>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Hi Stefan!

> > I'll test it also on RPi3

I got it working also there. I do have RPi2 but I doubt it will run there as it's just not that powerful.

> > I just have question regarding the example if it wouldn't be better to prepare the whole image
> 
> 
> Yes, certainly. As you may know I started with Guix on void with an NFS root file-system and patched Guix to get to this point, still on NFS. So I have no experience yet to build an image.
> 
> From what I saw in the code, I guess that more work needs to be done to generate an image. My personal focus is to first get the patches merged.
> 

Yes, the focus should be on mainlining these changes first.


> > IMHO having ISO image for Raspberry Pi 3,4 (aarch64) would be great as it would allow them to run Guix easily without need to build it on some other aarch64 machine or resort to crosscompile. What do you think?
> 
> 
> Yes, I totally agree. I also think that it could help to spread Guix. It would be great to see something like e.g. Pi-hole in the future to be based on Guix System.
> 

I know there is some open source bootloader which is already packaged in Guix `raspi-arm64-chainloader`. Maybe this would be the way in the future :-)

Good luck

----
Petr

Display info messages

Send a report that this bug log contains spam.

debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Sun Dec 22 14:47:39 2024; Machine Name: wallace-server

GNU bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

#48314 [PATCH] Install guix system on Raspberry Pi