Supercedes #2815 Move to pico-sdk official develop branch which includes a necessary IRQ header fix. 200MHz is now default for the Pico, but 133 is still available from the menus. |
||
|---|---|---|
| .. | ||
| rp2040 | ||
| rp2350 | ||
| rp2350-riscv | ||
| tlsf@8653cec85d | ||
| core_inc.txt | ||
| core_wrap.txt | ||