Given that it seems one can overclock[1] the RP2350 to 600MHz, it would be interesting to compare it to the Teensy at same frequency.

[1]: https://forums.raspberrypi.com/viewtopic.php?t=375975