2 results found Sort:

seL4
seL4 seL4
685
4.8k
other
203
The seL4 microkernel
os sel4 microkernel sel4-microkernel
Created 2014-07-18
4,679 commits to master branch, last one 22 hours ago
seL4
l4v seL4
109
531
other
38
seL4 specification and proofs
proof isabelle sel4-proofs formalisation sel4-microkernel
Created 2014-07-17
5,872 commits to master branch, last one 2 days ago