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 josh2600 on Wednesday September 12, 2018 @12:34AM (#17965582)
https://www.intel.com/content/www/us/en/support/articles/000... << Not a total solution by any means.

I have lots of thoughts about proving hardware/software/firmware correctness. Let's just say it's very hard.

[ Parent | on HN ]
Re:Hyperkernel – A push-button approach to building provably... by a_t48 on Wednesday September 12, 2018 @12:37AM (#17965590)
Definitely. I hit an ECC failure once. Felt like I should have bought a lotto ticket.
[ Parent | on HN ]
Re:Hyperkernel – A push-button approach to building provably... by vardump on Wednesday September 12, 2018 @03:07AM (#17966164)
Just once? It's not that rare...
[ Parent | on HN ]