[ignaloidas]

The smallest RISC-V processor for FPGAs that I know of[0] needs 1.2K LUTs on ice40 FPGAs, so maybe barely

[0]: https://github.com/BrunoLevy/learn-fpga/tree/master/FemtoRV