pico-sdk
pico-sdk copied to clipboard
pico_aon_timer pulls in a lot of C Lib code on RP2040
See https://github.com/micropython/micropython/pull/15619