The alleged mathematically proven bug-free microkernel for drone protection is going open source. The code was developed by the National ICT Australia (NICTA) was used to stop hackers from compromising unmanned drones. Development was also part of the High-Assurance Cyber Military Systems program patronized by the US Defense Advanced Research Projects Agency. The L4 microkernel is said to be very performant due to its use of formal method and will be more stable as it runs as much as code as possible in the user space.”]