DARPA-derived secure microkernel goes open source tomorrow

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.…