Security Professionals - ipfw add deny all from eindgebruikers to any

The L4.verified project - A Formally Correct Operating System Kernel

01-02-2011, 18:01 door Dev_Null, 0 reacties
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.

http://ertos.org/research/l4.verified/
Nog geen reacties
Reageren

Deze posting is gelocked. Reageren is niet meer mogelijk.