Comment by matt_trentini

It's obviously not directly comparable - each port will be different - but startup time is <50ms on an RP2040 (Cortex M0 @133MHz):

https://github.com/micropython/micropython/issues/8420