Comment by duskwuff

RP2350 (Raspberry Pi Pico 2) has two Hazard3 cores, which is open-source at: https://github.com/Wren6991/Hazard3