Raspberry Pi Pico

I already ordered two of them. If find the programmable IO (PIO) pins most interesting. As far as I understand you can programm multiple state machines which control output pins. That would be a great addition to my Arduino Nano based DCO to control multiple oscillators with one Pico.