Shmi comments on [LINK] seL4, secure operating system kernel is being open-sourced

Shmi 24 Jun 2014 23:25 UTC
9 points
0

an end-to-end proof of implementation correctness

Time to take bets on when the first security hole gets discovered.
- David_Gerard 25 Jun 2014 7:22 UTC
  8 points
  0
  Parent
  Took a few years for OpenBSD, and that relied on mere human software engineering skill.
- somervta 25 Jun 2014 5:06 UTC
  6 points
  0
  Parent
  You offering?