seL4 microkernel open-sourced

63 views

Skip to first unread message

unread,

Jul 31, 2014, 6:34:30 PM7/31/14

to osin...@googlegroups.com

http://sel4.systems/

end-to-end proof of implementation correctness and security enforcement

Reply all

Reply to author

Forward

0 new messages