RV32I SoC on a Basys 3