@wiki_me@lemmy.ml to Open Source@lemmy.ml • 3 years agoLion is a formally verified open source RISC-V corewww.reddit.comexternal-linkmessage-square0fedilinkarrow-up114arrow-down10cross-posted to: libre_hardware@lemmy.ml
arrow-up114arrow-down1external-linkLion is a formally verified open source RISC-V corewww.reddit.com@wiki_me@lemmy.ml to Open Source@lemmy.ml • 3 years agomessage-square0fedilinkcross-posted to: libre_hardware@lemmy.ml