NICTA-developed secure microkernel hits new milestone

seL4 2.0.0 released

The open source, Australian-developed secure microkernel seL4 has hit version 2.0.0, the project has announced.

The project’s custodian is the Trustworthy Systems Team at Data61 (the organisation born out of the fusion of NICTA and the CSIRO’s digital productivity team).

The microkernel is owned by General Dynamics C4 Systems.

seL4 was the first general-purpose operating system kernel formally proved correct against its specification.

Potential uses for the microkernel include protecting drones, medical equipment, and industrial systems.

seL4 2.0.0 marks the transition to more frequent and regular public releases as well as a shift to semantic versioning, said a message on the microkernel’s announcement list.

“The new release cleans up a large backlog of improvements we have been

working on for the last 18 months,” the announcement stated.

Version 2.0.0 includes API and performance improvements, Anna Lyons wrote in an email to the seL4 developer mailing list.

The microkernel was open sourced last year and its source code is available on GitHub.

Join the newsletter!


Sign up to gain exclusive access to email subscriptions, event invitations, competitions, giveaways, and much more.

Membership is free, and your security and privacy remain protected. View our privacy policy before signing up.

Error: Please check your email address.

Tags open sourceoperating systemsnictaseL4seL4 microkernelData61

More about C4CSIROGeneral DynamicsNICTA

Show Comments