Debugging the PIO module on Raspberry Pi Pico

This tutorial shows how use VisualGDB to debug the PIO module on RP2040 (Raspberry Pi Pico). We will start with