 | August 2021 |  |
| So |
Mo |
Di |
Mi |
Do |
Fr |
Sa |
| 1 | 2 | 3 | 4 | 5 | 6 | 7 |
| 8 | 9 | 10 | 11 | 12 | 13 | 14 |
| 15 | 16 | 17 | 18 | 19 | 20 | 21 |
| 22 | 23 | 24 | 25 | 26 | 27 | 28 |
| 29 | 30 | 31 | | |
Application datasets: 20967
Version datasets: 153135
DBApp v1.06
Copyright © demon
|
|
| Programm-Informationen |
| Applikation: | seL4 |
| Version(en): | | Hauptzweig | 12.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. |
| |
| Weitere Informationen |
| Programmiersprache: | Keine Angaben |
| Betriebsysteme: | |
| Zielgruppe: | |
| |
Neue Version melden
Neue Homepage melden
Neue Beschreibung
Lizenzänderung
Kategorie-Änderung
"Weitere Informationen" ändern
Weitere Anmerkungen
|
|
|
RSS/Feeds