Veröffentlichungen
Mai 2020
So Mo Di Mi Do Fr Sa
    12
3456789
10111213141516
17181920212223
2425262728293 
31 
DBApp-Suche

Application datasets: 20709 Version datasets: 149256
DBApp v1.06
Copyright © demon
Werbung
  seL4

seL4 (secure embedded L4) ist ein Mikrokernel, der ursprünglich der L4-Familie entstammt. Der Kernel bietet unter anderem eine synchrone IPC (Interprozesskommunikation), Interrupt- und Thread-Management sowie eine Speicherverwaltung. Das System wurde speziell an sicherheitskritische Anwendungen im eingebetteten Bereich angepasst. Dazu wurde das System formal auf seine Korrektheit verifiziert. In seL4 werden Objektreferenzen und Zugriffsrechte ausschließlich durch sogenannte Fähigkeiten (capabilities) repräsentiert, und Kernel-Ressourcen unterliegen denselben Zugriffsmechanismen wie Nutzerobjekte. (non)


 

Homepage: https://github.com/seL4/seL4
Rating:
Lizenz: GNU General Public License Version 2
Kategorie: Konsole
 
 

.: Hauptzweig
2020-05-29  11.0.0  Ersteintrag  mehr...  
 
  Angaben ändern   Neue Version melden