Understood. Maybe this landed after your project - but both PicoRV32 and SERV now support compressed extensions, at some additional resource cost. FemtoRV32 Quark doesn't - which is not a knock, since it's a beautifully simple implementation and that's the point.
The retrocomputing scene looks like a ton of fun and I'd be delighted if any of my work is used there.
Ah, yes, this was 2018/19, in the Before Times, and I don't recall if PicoRV32 had compressed yet but I don't think it did.
SERV always looked intriguing, too. Though I recall maybe its build process was a hassle.
Anyways, this is neat, keep on keeping on! I'm just a software guy, so I remain amazed by the world at the gate level and what it can do. Entirely different kind of abstraction building.
The retrocomputing scene looks like a ton of fun and I'd be delighted if any of my work is used there.