-
Earle F. Philhower, III authored
The chip supports 133MHz and the other Pico core already defaults to the higher speed, so make 133 the default. It can still be changed through the menus and will stay at 125 unless pre-existing users change it so they will see no difference.
65fe1767
