guix-patches
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#48314] [PATCH v5] Install guix system on Raspberry Pi

From: Stefan
Subject: [bug#48314] [PATCH v5] Install guix system on Raspberry Pi
Date: Thu, 22 Sep 2022 18:18:59 +0200 
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

Attachment: 01-gnu-linux-fix-extra-version.patch
Description: Binary data

Attachment: 02-gnu-bootloader-rework-chaining.patch
Description: Binary data

Attachment: 03-build-kconfig-add-new-module.patch
Description: Binary data

Attachment: 04-gnu-bootloader-add-u-boot.patch
Description: Binary data

Attachment: 05-gnu-linux-new-function-to.patch
Description: Binary data

Attachment: 06-gnu-raspberry-pi-add-defconfig.patch
Description: Binary data

Attachment: 07-gnu-raspberry-pi-add-helpers.patch
Description: Binary data

Attachment: 08-gnu-raspberry-pi-new-function.patch
Description: Binary data

Attachment: 09-gnu-raspberry-pi-add-a.patch
Description: Binary data

reply via email to
[Prev in Thread] Current Thread [Next in Thread]