upvote
As mentioned elsewhere, Solaris SPARC and Linux on SPARC since 2015.
reply
sel4 ships with memory safety on by default.
reply