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

[GNU bug Tracking System]

Your message dated Fri, 24 Feb 2023 15:45:29 -0500
with message-id <Y/kh6S0CJocKUv4V@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@gnu.org.)


-- 
61769: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61769
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> 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@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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> 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
>
>
> --- End Message ---