[mazurnification]

Yes RO2040 is very good in that regard. It is often hard to gauge from processor clock how fast it will toggle its pins. Example PI4 - I do not think I was able to get more than 5MHz from its GPIOs and this is 4x GHz class processor.