GNU bug report logs - #48314
[PATCH] Install guix system on Raspberry Pi

Previous Next

Full log

Message #185 received at 48314 <at> debbugs.gnu.org (full text, mbox):

From: Stefan <stefan-guix <at> vodafonemail.de>
To: 48314 <at> debbugs.gnu.org, Vagrant Cascadian <vagrant <at> debian.org>,
 phodina <phodina <at> protonmail.com>,
 Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: Ludovic Courtès <ludo <at> gnu.org>
Subject: Re: [PATCH v5] Install guix system on Raspberry Pi
Date: Thu, 22 Sep 2022 18:18:59 +0200

[Message part 1 (text/plain, inline)]

Hi!

I did a rebase onto commit 2e8b4f9bfa00489fd3acff305837a79af236e183.

Vagrant, there was a comment left about removing "CONFIG_BOOTDELAY=1" for the u-boot, this is now done. I think all review comments have been applied.

There is a new u-boot-rockpro64-rk3399 which I adapted as well to use the #:configs keyword argument.

The function modify-defconfig in guix/build/kconfig.scm no longer interprets "CONFIG_XY=" like "# CONFIG_XY is not set".


Bye

Stefan

[01-gnu-linux-fix-extra-version.patch (application/octet-stream, attachment)]

[02-gnu-bootloader-rework-chaining.patch (application/octet-stream, attachment)]

[03-build-kconfig-add-new-module.patch (application/octet-stream, attachment)]

[04-gnu-bootloader-add-u-boot.patch (application/octet-stream, attachment)]

[05-gnu-linux-new-function-to.patch (application/octet-stream, attachment)]

[06-gnu-raspberry-pi-add-defconfig.patch (application/octet-stream, attachment)]

[07-gnu-raspberry-pi-add-helpers.patch (application/octet-stream, attachment)]

[08-gnu-raspberry-pi-new-function.patch (application/octet-stream, attachment)]

[09-gnu-raspberry-pi-add-a.patch (application/octet-stream, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.