DARPA-Derived Secure Microkernel Goes Open Source

29

Hacker-repelling, drone-protecting code will soon be yours to tweak as you see fit

A nippy microkernel mathematically proven to be bug free*, and used to protect drones from hacking, will be released as open source tomorrow.…

Read more at The Register