SeL4 2.0 release noteshttp://sel4.systems/pipermail/devel/2015-November/000603.html by BruceM • 11 years ago 26 1 11 years agoSEsel4.systems