Raspberry Pi Pico multi core programming

This is how the Arduino-Pico core allows you to do multiprogramm, and it’s well-documented. You can use this core with PlatformIO as already documented. You can even do multicore debugging.