LXer: DARPA-derived secure microkernel goes open source tomorrow
 

Published at LXer:

Hacker-repelling, drone-protecting code will soon be yours to tweak as you see fitA nippy microkernel mathematically proven to be bug free*, and used to protect drones from hacking, will be released as open source tomorrow.…

Read More...

Lol at the "mathematically proven to be bug free". Yeah, whatever.