Hello ! Can someone write the simplest example for running 2 cores on this particular mbed Raspberry for Pi Pico RP2040 ?