A NICTA a napokban kutatási áttörésként jellemezte azt, hogy a világon elsőként befejezte egy általános célú operációs rendszer kernel géppel, formális módszerekkel igazolt, teljes ellenőrzését.
A Secure Embedded L4 (seL4) mikrokernelt valós felhasználási körülmények közé szánják, olyan helyekre - pl. repülőgépek, autók biztonsági berendezéseibe, védelmi megoldásokba -, ahol a beágyazott rendszerekben való hibamentes működés kritikus fontosságú.