> This project uses CNLohr's mini-rv32ima RISC-V emulator core

I wonder why not use the Pico's RISC-V cores.