A version of PicoSoc that runs from BRAM, with extra peripherals
Primary LanguageCoq
No issues in this repository yet.