Hey all. I'd like to ask if there's been any consideration, or if it might be practical, to use a smaller core for the harness? While the picoRV32 core currently in use is already quite small for RV32IMC, I can't help but wonder if a pure RVC-like 16-bit core might save some space, and give us even a tiny bit more die space to play with. I'm aware that the RVC extension is not designed to be used alone, but it can certainly serve as a basis for a competent, tiny-footprint 16-bit core