Paul M Reese

You can return the system clock to its normal setting once all of the PicoBoot code has run, basically where the `tight_loop_contents()` call occurs. `set_sys_clock_khz(125000, true);` I've currently got a...

The `smp` branch was merged into `main` shortly after I submitted this pull request. The underlying cause of the original error message is actually that the `configNUMBER_OF_CORES` variable was **added...