Secure embedded L4 (seL4), said to be the world’s most highly-assured operating system, has been released as open source, Australia’s Information and Communications Technology Research Centre of Excellence (NICTA) and U.S. aerospace and defense company General Dynamics C4 Systems announced on Tuesday.
Comments are closed.
