PIO PWM switching for tone generation

[martinerk0]

Hi, how would one implement something like https://github.com/teckel12/arduino-toneac on arduino-pico?

I guess it needs to sync PWM generation on both pins somehow using PIO of Pico.