seL4 talk

12 views

Skip to first unread message

unread,

Aug 6, 2015, 10:38:27 PM8/6/15

to Akron Linux Users Group

A really good talk on seL4.

seL4 is a L4 microkernel that is built around secruity.

unread,

Aug 7, 2015, 4:39:31 PM8/7/15

to Akron Linux Users Group

The security is done with the Formal Verification (https://en.wikipedia.org/wiki/Formal_verification) process. As of right now it seems to be the only Open Source OS that is doing this.

l4v is the proof comparison to the seL4 which is the actual kernel.

Reply all

Reply to author

Forward

0 new messages