Minimal PR here: https://github.com/meatysolutions/pico-sdk/pull/12 I'm definitely open to discussion; this was just the fastest way I saw of getting this feature working.