Comment Comment by axman6 The FAQ[1] has a hell of a lot of info about what seL4 does and does not do.[1] http://sel4.systems/FAQ parent axman6 12 years ago
[1] http://sel4.systems/FAQ