tree dd600ecdd521e9346d834e265a4db95e53602d84
parent b89a7e897a1bfc04b445d16496e70ff45acb9985
author William Vinnicombe <william.vinnicombe@raspberrypi.com> 1745343554 +0100
committer William Vinnicombe <william.vinnicombe@raspberrypi.com> 1745850653 +0100

Use raspberrypi/pico-sdk#2315 and raspberrypi/pico-examples#619 so the examples compilation passes