@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-down10
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-square0fedilink