2 ms·
You can download seL4 binaries and a copy of the specification (190 pages, no proof) here: http://ssrg.nicta.com.au/software/TS/seL4/ http://ssrg.nicta.com.au/
by cottonseed 12y ago
You can download seL4 binaries and a copy of the specification (190 pages, no proof) here:
http://ssrg.nicta.com.au/software/TS/seL4/ http://ssrg.nicta.com.au/software/TS/seL4/