A version of PicoSoc that runs from BRAM, with extra peripherals
Primary LanguageCoq
No one’s watching this repository yet.