4 ms·

Hadn't heard of the RP2040. It's quite impressive. I see even the Arduino organization produces a board that uses it.