4 ms·
Here you go: http://ertos.nicta.com.au/software/seL4/ http://ertos.nicta.com.au/software/seL4/ Contains kernel and spec. Free for non-commercial use.
by lsf 16y ago
Here you go: http://ertos.nicta.com.au/software/seL4/ http://ertos.nicta.com.au/software/seL4/
Contains kernel and spec. Free for non-commercial use.