[PLUG] Formally verified open source kernel

Mayuresh mayuresh at acm.org
Mon Jan 31 16:02:04 IST 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