You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

shminux comments on [LINK] seL4, secure operating system kernel is being open-sourced - Less Wrong Discussion

3 [deleted] 24 June 2014 11:02PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (9)

Comments (9)

You are viewing a single comment's thread.

Comment author: shminux 24 June 2014 11:25:51PM 5 points [-]

an end-to-end proof of implementation correctness

Time to take bets on when the first security hole gets discovered.

Comment author: somervta 25 June 2014 05:06:19AM 3 points [-]

You offering?

Comment author: David_Gerard 25 June 2014 07:22:34AM 3 points [-]

Took a few years for OpenBSD, and that relied on mere human software engineering skill.

Powered by Reddit Powered by Reddit