See fix (as yet unmerged)
https://github.com/raspberrypi/pico-sdk/pull/2429
https://github.com/raspberrypi/pico-sdk/pull/2429
Statistics: Posted by kilograham — Fri Apr 18, 2025 9:34 pm