[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#48314] [PATCH v5] Install guix system on Raspberry Pi
From: |
Ludovic Courtès |
Subject: |
[bug#48314] [PATCH v5] Install guix system on Raspberry Pi |
Date: |
Wed, 05 Oct 2022 15:02:53 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) |
Hi,
Vagrant, Danny: could you take a look at these patches? They seem to
have fallen through the cracks.
TIA. :-)
Ludo’.
Stefan <stefan-guix@vodafonemail.de> skribis:
> 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
- [bug#48314] [PATCH v5] Install guix system on Raspberry Pi,
Ludovic Courtès <=
[bug#48314] [PATCH v5] Install guix system on Raspberry Pi, Stefan, 2022/10/30
[bug#48314] [PATCH v5] Install guix system on Raspberry Pi, Stefan, 2022/10/30