@neauoire @aw 422 bytes? The *UART* drivers in the Raspberry Pi Pico SDK are bigger than that!

I did not want to write my own UART driver but now I'm challenged. 😡