code compiled for BOARD=raspberry_pi_pico using the build procedure provided in README.md

This is an initial proof of concept, showing core0 debugging core1.

It runs on core0 using SRAM beginning at 0x2003_0000, leaving the first 192kBytes free for core1.