Kind of surprised this only takes 18K LUTs. That's a fairly small FPGA these days.

How does it compare to something like VexRisc [0] with respect to its capabilities? I know having x86 support is a metric all by itself.

[0] https://github.com/spinalhdl/vexriscv