La Fundación Linux está trabajando con la agencia nacional de ciencia CSIRO de Australia, el sistema operativo microkernel para crear SEL4 ecología.
Linux Foundation ha anunciado recientemente fue sede de la Fundación SEL4 , la Fundación de CSIRO agencia digital agencia científica nacional de Australia SEL4 Data61 creó operación de proyectos basados en microkernel sistema. SEL4 es un núcleo de sistema operativo seguro, diseñado para garantizar la confidencialidad de los sistemas críticos del mundo real informáticos, seguridad y fiabilidad.
Los miembros fundadores de la Fundación incluyen Cog Systems, DornerWorks, Santo locomoción, Hensold cibernética y la UNSW Sydney.
SEL4 es un miembro de la familia microkernel L4, que proporciona aislamiento entre las aplicaciones que se ejecutan en el sistema garantiza el nivel más alto, puede contener perjudiciales primera parte del sistema, y para evitar daños en el sistema puede ser más crítico de la otra parte.
Según los informes, SEL4 es el mundo de primera en ser demostrado matemáticamente seguro núcleo del sistema operativo, y también hizo hincapié en que la seguridad sobre la base de los resultados, es microkernel sistema operativo más rápido, el más avanzado del mundo. Es por aspectos de seguridad de confianza de sistemas de computación empotrados sería de gran importancia, el punto de vista específico puede afectar a la aviónica, los vehículos autónomos, equipos médicos, la infraestructura crítica y las industrias de defensa. En teoría, SEL4 puede ser utilizado como subyacente Linux y otros Unix-como sistemas operativos, incluso con anterioridad sido considerados para GNU / Linux "verdadero núcleo" GNU Hurd.