@wiki_me@lemmy.ml to Libre Hardware@lemmy.ml • 3 years agoLion is a formally verified open source RISC-V corewww.reddit.commessage-square0fedilinkarrow-up11arrow-down10cross-posted to: opensource@lemmy.ml
arrow-up11arrow-down1external-linkLion is a formally verified open source RISC-V corewww.reddit.com@wiki_me@lemmy.ml to Libre Hardware@lemmy.ml • 3 years agomessage-square0fedilinkcross-posted to: opensource@lemmy.ml