News about seL4
  • NICTA's seL4 microkernel edges closer to commercialisation

    Eight months after National ICT Australia (NICTA) released its secure embedded L4 (seL4) microkernel, it has moved closer to commercialisation with potential developments by the Department of Defence and the mining sector using the software.

  • 2

    NICTA wins race to secure L4

    Australian research organisation, NICTA claims to be the world's first to develop a formal machine-checked proof of a general-purpose operating system kernel, the Secure Embedded L4 (seL4).

Sign up now to get free exclusive access to reports, research and invitation only events.
Featured Download

Computerworld newsletter

Join the most dedicated community for IT managers, leaders and professionals in Australia