Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
David_Gerard comments on
[LINK] seL4, secure operating system kernel is being open-sourced
David_Gerard
25 Jun 2014 7:22 UTC
8
points
Took a few years for OpenBSD, and that relied on mere human software engineering skill.
Back to top
Took a few years for OpenBSD, and that relied on mere human software engineering skill.