Veröffentlichungen
August 2021
So Mo Di Mi Do Fr Sa
1234567
891011121314
15161718192021
22232425262728
293031 
DBApp-Suche
Erweiterte Suche

Application datasets: 20967 Version datasets: 153135
DBApp v1.06
Copyright © demon
Werbung
Programm-Informationen
Applikation:seL4
Version(en):
  Hauptzweig12.1.0
Lizenz:GNU General Public License Version 2
Homepage:https://github.com/seL4/seL4
Kategorie:Konsole
Beschreibung:
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.
 
Neue Version melden
Version
Zweig
Sollte der von Ihnen angedachte Zweig nicht in unserer Liste aufgelistet sein, so tragen Sie bitte unter Zweig (Andere) eine neue Entwicklungslinie (Branch) ein.
Zweig (Andere)
Änderungen