The National ICT Australia (NICTA) has completed the development of the first micro kernel mathematically proven seL4 to be bug free, its project will be released as open source tomorrow. The micro kernel was the result of the High-Assurance Cyber Military Systems program promoted by the DARPA. The NICTA is Australias Information Communications Technology (ICT) Research Centre of Excellence, it is an organization born to conduct, promote and sustain ICT research. It is composed by experts in maths and aviation working with primary companies Boeing and Rockwell Collins.”]