Can it run on the MCU mentioned in the post? Somehow I doubt that.
Can SBCL even target MCU boards like the pico?
Second sentence from TFA:
> You can run the compiler on the RISC-V core of a Raspberry Pi Pico 2 (or another RP2350-based board)
Second sentence from TFA:
> You can run the compiler on the RISC-V core of a Raspberry Pi Pico 2 (or another RP2350-based board)