С помощью дипсика я разобрался, как программировать эти ваши PIO.
Интересненько.
В приведённом примере PIO моргает светодиодом с частотой 1 Гц, а оба ядра микропроцессора в этом вообще никак не задействованы, и могут заниматься другими своими делами.
Чем дальше, там больше мне нравится rp2040.