Using GPIO through the RP2040

The 40-pin header on the Radxa X4 has a different pinout than the Pico, if you want to the lib Firmata, maybe you need to map the Radxa X4 pin to the Pico pin first.