@wiki_me to Libre Hardware • 3 years agoLion is a formally verified open source RISC-V corewww.reddit.commessage-square0arrow-up14arrow-down10cross-posted to: opensource
arrow-up14arrow-down1external-linkLion is a formally verified open source RISC-V corewww.reddit.com@wiki_me to Libre Hardware • 3 years agomessage-square0cross-posted to: opensource