Hi, Marc Haber <[email protected]> (2025-06-10): > the firmware that is currently in sid seems to be VERY picky when it > comes to booting from an SD card. […] > Trying to boot with Debian's firmware with uart_2ndstage=1 enabled, one > sees lots of "MESS:00:00:31.901664:0: gpioman: gpioman_get_pin_num: pin > SDCARD_CONTROL_POWER not defined" on the serial console.
I wasn't aware of such problems… > The firmware that comes with current Raspberry Pi OS dates to Mar 19 > 2025 and happily boots from three SD cards that Debian's firmware > rejects. … otherwise we could have envisioned catching up with upstream releases. But that should have happened much earlier in the release cycle. Doing that just weeks away from the release seems rather risky, esp. given this package's track records when it comes to regressions (and the impossibility to cherry-pick fixes). Cheers, -- Cyril Brulebois -- Debian Consultant @ DEBAMAX -- https://debamax.com/
signature.asc
Description: PGP signature
