It compiles fine on my end, I did clean builds for the releases I posted and got no errors.
A few RCs back, Peter changed some stuff that required modifying files in the Pico SDK. That’s kind of a messy requirement that isn’t documented well, but I replaced the files indicated and that cleared up some errors.
Check the note on the official repo below:
The full path to those files isn’t given, but I poked around and eventually found them. The gpio.* files were already replaced in the past, though they got updated in a recent release, but there were a few new files added. I didn’t keep track of it. I probably should have written a little script or something because I’m sure this will come up again. I’m also not really comfortable with hacking the SDK like this, but it’s what the official PicoMite repo does so whatever. I’m just hoping that stuff doesn’t change very often!