Subject: bug#61769: closed (Re: [bug#61769] [PATCH 0/1] gnu: u-boot-rock64-rk3328: Fix.)

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 24 Feb 2023 20:46:02 +0000

Your bug report

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

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
61769: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61769
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#61769] [PATCH 0/1] gnu: u-boot-rock64-rk3328: Fix.
From: Leo Famulari <[email-masked]>
To: Simon South <[email-masked]>
Cc: [email-masked]
Date: Fri, 24 Feb 2023 15:45:29 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

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

Subject: [PATCH 0/1] gnu: u-boot-rock64-rk3328: Fix.
From: Simon South <[email-masked]>
To: [email-masked]
Date: Fri, 24 Feb 2023 15:05:51 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

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
[email-masked]

[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