Dual-Core support

Anyone attempted a dual-core [hybrid/ 1+1] SoC ? I am attempting this board. It has an M4 / M0+ dual core chip.

Ping @Kaspar?

very timely! it may not have a radio but the raspbery pi Pico just landed on my doorstep https://www.raspberrypi.org/documentation/pico/getting-started/ Dual 133MHz M0+ cores

sadly I only had time to blink an LED in micropython so far! I predict a huge take-up due to the low cost and rather nice adafruit/sparkfun boards.