sel4

Australian-developed secure microkernel takes to the skies

Australian-developed secure microkernel takes to the skies

UAE's SSRC works with UNSW to put seL4 on drones and phones.
Richard Chirgwin Feb 11 2022 11:18AM Hardware
UNSW gives dumped Data61 seL4 research group funding lifeline

UNSW gives dumped Data61 seL4 research group funding lifeline

Six-month backing to ensure long-term viability.
Justin Hendry May 31 2021 12:53PM Strategy
Data61, Linux Foundation launch seL4 open source foundation

Data61, Linux Foundation launch seL4 open source foundation

To accelerate seL4 microkernel developments.
Matt Johnston Apr 8 2020 2:03PM Strategy
NICTA open sources seL4 secure OS

NICTA open sources seL4 secure OS

Released under GPL v2.
Juha Saarinen Jul 29 2014 12:00PM Software
Top secret trials for NICTA's kernel breakthrough

Top secret trials for NICTA's kernel breakthrough

Intelligence community gets first dibs on secure OS.
Brett Winterford Aug 14 2009 3:16PM Security

Log In

  |  Forgot your password?