[snvzz]

>(there's even the open SERV core which fits RISC-V into an insanely small 2.1KGe).

And QERV, only slightly bigger, yet dramatically faster.