A 32-bit Microcontroller for NEXYS4-DDR fpga based on mriscv. - View it on GitHub