|
2011-05-02: SSRG students win
design competition.
|
|
SSRG students Etienne Le Sueur, Bernard Blackham, Martin
Pflauminger and Aaron Carroll have won the 2011
Lantronix XPort Pro Design Contest with their
e4Meter.
|
|
2011-01-27: Verified seL4 kernel
released.
|
|
NICTA and OK Labs have announced the
first joint public release of the formally
verified seL4 microkernel (branded OKL4 Verified).
The release, for non-commercial and evaluation use,
contains seL4 kernel binaries for ARM and x86,
documentation, user level examples, x86 Linux on top of
seL4, and the formal specification of the kernel for the
ARM platform.
|
|
2010-11-04: One Billion L4-powered
phones
|
|
Open Kernel Labs has
announced that OKL4, derived from NICTA's L4-embedded
microkernel, has now shipped in more than 1.1 billion
mobile phones. This makes OKL4 one of the most
widely-deployed OS kernels ever.
|
