Booting board at 20mhz.

[Marius]

I know how to change the board frequency after its booted. But how do i make it boot up at 20mhz?

[jimmo]

If you can do this with firmware written in C using the IDF directly, then you can do this in MicroPython if you build your own firmware. Likely it's an sdkconfig option?

[Marius]

You should be able to do that yes