The memory model of RISC-V is being formally verified, providing stronger guarantees than proprietary ISAs!
miniblog.
Related Posts
OSS components are so common in software stacks now. It might be an interesting exercise to try to build a e.g. a web service with 100% proprietary components.
Reading the beta 4 release notes for Haiku R1, it's striking how much work it is to support modern WiFi protocols: https://www.haiku-os.org/get-haiku/r1beta4/release-notes/
Previously, 802.11ac was only supported on Linux and OpenBSD! (Ignoring proprietary operating systems)
Blackbird: a desktop PC with zero proprietary blobs! Running the Power ISA (like PowerPC), although it's not cheap.
https://www.osnews.com/story/133093/review-blackbird-secure-desktop-a-fully-open-source-modern-power9-workstation-without-any-proprietary-code/