seL4 2.0.0

 ( trey | 2015. december 2., szerda - 18:52 )

2009-ben volt szó arról itt a HUP-on, hogy a NICTA bejelentette a világ első, formális módszerekkel igazolt, általános célú kernelét. Tavaly nyáron megnyílt Secure Embedded L4 (seL4) mikrokernel forrása. A projekt most újra életjelet adott. Anna Lyons a napokban bejelentette, hogy megjelent a seL4 2.0.0-s kiadása.

A bejelentés elolvasható itt.