GNU bug report logs - #61769
[PATCH 0/1] gnu: u-boot-rock64-rk3328: Fix.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Leo Famulari <leo <at> famulari.name>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#61769: closed ([PATCH 0/1] gnu: u-boot-rock64-rk3328: Fix.)
Date: Fri, 24 Feb 2023 20:46:02 +0000

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

Your message dated Fri, 24 Feb 2023 15:45:29 -0500
with message-id <Y/kh6S0CJocKUv4V <at> jasmine.lan>
and subject line Re: [bug#61769] [PATCH 0/1] gnu: u-boot-rock64-rk3328: Fix.
has caused the debbugs.gnu.org bug report #61769,
regarding [PATCH 0/1] gnu: u-boot-rock64-rk3328: Fix.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
61769: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61769
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Simon South <simon <at> simonsouth.net>
To: guix-patches <at> gnu.org
Subject: [PATCH 0/1] gnu: u-boot-rock64-rk3328: Fix.
Date: Fri, 24 Feb 2023 15:05:51 -0500

This patch fixes a typo in the package definition for u-boot-rock64-rk3328,
the default bootloader for ROCK64 computers, that causes the machine to fail
to boot.

Inadvertently setting the wrong environment variable means the firmware
package normally bundled into the bootloader isn't found at build time.  In
fact the build log[0] notes

  WARNING: BL31 file bl31.elf NOT found, resulting binary is non-functional

U-Boot complains about the missing firmware at boot and the system freezes
when attempting to start the kernel.

Tested on an actual ROCK64 and the patch appears to work fine.

--
Simon South
simon <at> simonsouth.net

[0] https://ci.guix.gnu.org/build/350374/log/raw


Simon South (1):
  gnu: u-boot-rock64-rk3328: Fix.

 gnu/packages/bootloaders.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


base-commit: e615aaca28fd6b797e9b41a71096ebe878c89299
-- 
2.39.1

[Message part 3 (message/rfc822, inline)]

From: Leo Famulari <leo <at> famulari.name>
To: Simon South <simon <at> simonsouth.net>
Cc: 61769-done <at> debbugs.gnu.org
Subject: Re: [bug#61769] [PATCH 0/1] gnu: u-boot-rock64-rk3328: Fix.
Date: Fri, 24 Feb 2023 15:45:29 -0500

On Fri, Feb 24, 2023 at 03:05:51PM -0500, Simon South wrote:
> This patch fixes a typo in the package definition for u-boot-rock64-rk3328,
> the default bootloader for ROCK64 computers, that causes the machine to fail
> to boot.
> 
> Inadvertently setting the wrong environment variable means the firmware
> package normally bundled into the bootloader isn't found at build time.  In
> fact the build log[0] notes
> 
>   WARNING: BL31 file bl31.elf NOT found, resulting binary is non-functional
> 
> U-Boot complains about the missing firmware at boot and the system freezes
> when attempting to start the kernel.
> 
> Tested on an actual ROCK64 and the patch appears to work fine.

Thanks for the patch and explanation! Pushed as
df8b8f0c76388239dac9f2892c97b92e92c92901

Previous Next

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