[PLUG] Formally verified open source kernel

Mayuresh mayuresh at acm.org
Mon Jan 31 02:32:04 PST 2011


Sounds interesting:
http://www.ok-labs.com/releases/release/open-kernel-labs-provides-okl4-verified-for-download-and-prototyping

Interpretation of above as "hack free" in this news may be a little of
exaggeration:
http://maharashtratimes.indiatimes.com/articleshow/7393435.cms

Mayuresh.



More information about the plug-mail mailing list