Feature Request: Change from ARM (M33) to RISC-V (Hazard3)

[vslinuxdotnet]

Hello, Is possible to add a option menu flag, to change from ARM (M33) to RISC-V (Hazard3) ?

EX: cmake -DPICO_PLATFORM=rp2350-arm-s -DPICO_BOARD=pico2 .. cmake -DPICO_PLATFORM=rp2350-riscv -DPICO_BOARD=pico2 ..

Thanks, VS