The AVR/Arduino boards boot instantly which is one of their big advantages here. I imagine the Pico will be the same.