lbmk.git/config/pico-sdk/patches, branch master libreboot build system (LibreBoot MaKe) add pico-sdk backport patch fixing gcc 14.x 2025-04-30T10:11:03+00:00 Leah Rowe leah@libreboot.org 2025-04-30T10:11:03+00:00 bb5f5cd576321bf7d486277886722189064227ac src/rp2_common/boot_stage2/boot2_w25x10cl.S:142: Error: junk at end of line, first unrecognized character is `0' src/rp2_common/boot_stage2/boot2_w25x10cl.S:145: Error: garbage following instruction -- `beq 00b' This should also fix it on Debian sid Experimental, where I'm testing with GCC 15 and other bleeding edge dependencies. Signed-off-by: Leah Rowe <leah@libreboot.org> 
src/rp2_common/boot_stage2/boot2_w25x10cl.S:142: Error: junk at end of line, first unrecognized character is `0'
src/rp2_common/boot_stage2/boot2_w25x10cl.S:145: Error: garbage following instruction -- `beq 00b'

This should also fix it on Debian sid Experimental, where I'm testing
with GCC 15 and other bleeding edge dependencies.

Signed-off-by: Leah Rowe <leah@libreboot.org>