Raspberry Pi Pico 2: a RISC-V bet!