Australiërs ontwikkelen superveilige kernel
De zogeheten Secure Embedded L4-kernel is getest met een geautomatiseerd testsysteem. Nicta heeft ruim vier jaar gewerkt aan de kernel met een team wiskundigen en de open-sourceverficatietool Isabelle, die aan de Technische Universiteit van München is ontwikkeld.
De seL4-kernel is een kleine, high-performance kernel van de derde generatie die bestaat uit rond de 9000 regels C-code. Alle privileges voor toegang tot hardware zijn vastgelegd in de kernel, die de toegang regelt tot die hardware voor de rest van het systeem. Een vergelijkbare kernel, de OKL4 van Open Kernel Labs, wordt in veel smartphones gebruikt.