I can't believe I dared to do it: an iCE40HX8K FPGA that boots a mainline 6.13.0-rc1
#Linux kernel via OpenSBI, running 100% KianV SV32 (MMU) RV32IMA Zicntr Zicsr Zifencei SSTC RISC-V. Incredible... amazing board, thanks to
@machdyne's Kuchen iCE40HX8K FPGA board.
#ice40 @risc_v @YosysHQ