SeL4

Weiterleitung nach:

  • L4 (Mikrokernel)#seL4: Beweisbar sichere Systeme