News for hackers. Stuff that matters.

A comment on Hyperkernel – A push-button approach to building provably correct OS kernels. Parent comment

Re:Hyperkernel – A push-button approach to building provably... by baybal2 on Thursday September 13, 2018 @07:30AM (#17977757)
MRAM is actually very good for rad hardness, but it has a showstopper for bizarre feature of "probabilistic read." Speciality 3T MRAM completely negates that flaw.
[ Parent | on HN ]

There are no comments on this comment yet.