@haitch @vertigo
Oh wait, I thought this was a RISC-V core synthesized on an FPGA running Linux. Turns out it's a SiFive FPGA core (or rather, 4) running linux with some FPGA fabric on the side.
Still cool, but I was hoping for something that didn't rely on SiFive :)
