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

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

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

Received: (at 48314) by debbugs.gnu.org; 21 Apr 2022 19:32:58 +0000
From debbugs-submit-bounces@debbugs.gnu.org Thu Apr 21 15:32:58 2022
Received: from localhost ([127.0.0.1]:50943 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1nhcXy-0002zv-GR
	for submit@debbugs.gnu.org; Thu, 21 Apr 2022 15:32:58 -0400
Received: from mr5.vodafonemail.de ([145.253.228.165]:33178)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <stefan-guix@vodafonemail.de>) id 1nhcXw-0002zk-GR
 for 48314@debbugs.gnu.org; Thu, 21 Apr 2022 15:32:57 -0400
Received: from smtp.vodafone.de (unknown [10.0.0.2])
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
 key-exchange X25519 server-signature RSA-PSS (2048 bits))
 (No client certificate requested)
 by mr5.vodafonemail.de (Postfix) with ESMTPS id 4KknkZ68pBz25QF;
 Thu, 21 Apr 2022 19:32:54 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vodafonemail.de;
 s=vfde-mb-mr2-21dec; t=1650569575;
 bh=zpDkyD8w4U/RsHkgL+nIC0X6id+aLSOcDk1m2j9HMA8=;
 h=Content-Type:From:Subject:Date:Message-Id:References:In-Reply-To:
 To:X-Mailer:From;
 b=cExDC2zAbahmZOoZaC0o3TIo8V5mTlH3IjcSB9Gwwqz5oWeDBqy4in1TCIlg2dlrM
 n5c8OCHXjWk/Kl5dPlRIThBjoApGA304D1uA0E08IXPC+5rr/MEexksbapZXLUVEMK
 oEeVqPhqiU2MJT7m4TyiSxJkortKl2oc6+Oq9iqk=
Received: from smtpclient.apple (aftr-62-216-207-47.dynamic.mnet-online.de
 [62.216.207.47])
 (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
 key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256)
 (No client certificate requested)
 by smtp.vodafone.de (Postfix) with ESMTPSA id 4KknkH1mGnzMkrs;
 Thu, 21 Apr 2022 19:32:36 +0000 (UTC)
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
From: Stefan <stefan-guix@vodafonemail.de>
Mime-Version: 1.0 (1.0)
Subject: Re: [bug#48314] [PATCH v3] Install guix system on Raspberry Pi
Date: Thu, 21 Apr 2022 21:32:34 +0200
Message-Id: <AA43CB88-2461-4864-BB49-0FAD2A766B7D@vodafonemail.de>
References: <d3ZYuSQwiQvASa1af25ttEUEsH7M323cKXlUrR4uSB2lHD1QZkqxtFdCRAagPmpaJZPO8adacXggdUu2HivzyyC3qBSGS1sRnyxyB2nL4vE=@protonmail.com>
In-Reply-To: <d3ZYuSQwiQvASa1af25ttEUEsH7M323cKXlUrR4uSB2lHD1QZkqxtFdCRAagPmpaJZPO8adacXggdUu2HivzyyC3qBSGS1sRnyxyB2nL4vE=@protonmail.com>
To: phodina <phodina@protonmail.com>
X-Mailer: iPhone Mail (19E258)
X-purgate-type: clean
X-purgate: clean
X-purgate-size: 1888
X-purgate-ID: 155817::1650569574-00003D05-3C37A1B0/0/0
X-Spam-Score: 0.6 (/)
X-Debbugs-Envelope-To: 48314
Cc: Vagrant Cascadian <vagrant@debian.org>, dannym@scratchpost.org,
 Ludovic Courtès <ludo@gnu.org>,
 Maxime Devos <maximedevos@telenet.be>, 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>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -0.4 (/)

Hi Petr!

> Vagrant has valid points about the patches.
> 
> Stefan do you want to address them or shall I?

I have already patches to address the review comments from Vagrant, actually for months; also including improvements (e.g. checking that defconfig changes are successfully applied, which is not guaranteed).

Beside a lack of time, it is as you said: Building with 1 GB RAM is very problematic. Swap space is a requirement. Building takes days, using make with sub-targets helps a bit. In recent Linux kernels the virtual memory handling is badly broken; the build process gets killed, although there is empty swap space. Only version 5.4 is still fine. Without other hardware offloading or cross-building is not an option. Substitutes of guix, Linux, which needs special config settings, U-Boot and I think GRUB, are not – can’t be – available. Last time I tried at least qemu – an input of GRUB – had build issues on aarch64 and was missing a substitute. For Linux I meanwhile need to remove the deblob-check, as it even exhausts my swap space.

I’m hesitant to submit my untestet patches. I hope to find some time on the weekend – and that I don’t make mistakes, as my turn-around-time is close to a week. ;-)

By the way: I have the feeling that a garbage-collector may be a real bottle-neck, if most of a process’ memory is swapped out. I was surprised to not find papers about this. And once I was looking for options to limit the Guile heap, but didn’t find anything helpful.

> It runs fine on Raspberry Pi 4 where there is 4GiB of memory

This is good to know, thanks!

Would you mind, if I send untested patches, which you could pick up? Is there a possibility to offload to ci.guix.gnu.org? 


Bye

Stefan

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:45:24 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