seL4

Der Sel4 Microkernel

Dieses Projekt enthält den Quellcode von Sel4 Microkernel.

Weitere Informationen zum Sel4 Microkernel, einschließlich Einzelheiten zu dem formellen Korrektheitserschein, finden Sie in der sel4.systems -Website und zugehörigen FAQs.

DOIS zum Zitieren der jüngsten Veröffentlichungen dieses Repositorys:

Wir begrüßen Beiträge zu SEL4. Weitere Informationen zum Beitrag finden Sie auf der Website.

Dieses Repository wird normalerweise nicht isoliert verwendet, sondern als Teil des Build -Systems in einem größeren Projekt.

Sel4 Grundlagen

• Tutorials
• Dokumentation
• Sel4 Bibliotheken
• sel4Test
• Debugging Guide
• Benchmarking Guide
• Virtualisierung auf SEL4
• Host -Build -Abhängigkeiten
• Portierung SEL4

Gemeinschaft

• Foren:
  • Diskurs
  • Sel4 kündigen Sie an
  • Sel4 Devel
• Vorgeschlagene Projekte
• Community -Projekte

Die vollständige Liste finden Sie in den Kontaktlinks auf der SEL4 -Website.

Berichterstattung über Sicherheitslücken

Wenn Sie der Ansicht sind, dass Sie eine Sicherheitsanfälligkeit in SEL4 oder verwandter Software gefunden haben, bitten wir Sie, unsere Offenlegungspolitik der Anfälligkeit zu befolgen.

Handbuch

Eine gehostete Version des Handbuchs für die neueste Version finden Sie hier.

Eine Webversion der API finden Sie hier

Repository -Übersicht

• include und src : C- und ASM -Quellcode von SEL4
• tools : Werkzeuge erstellen
• libsel4 : c Bindungen für den Sel4 ABI
• manual : Latexquellen des SEL4 -Referenzhandbuchs

Anweisungen erstellen

Erstellenanweisungen finden Sie auf der SEL4 -Website.

Status

Eine Liste von Veröffentlichungen und aktuellem Projektstatus finden Sie unter SEL4 -Releases.

• Roadmap: Neue Funktionen in der Entwicklung
• Hardwareunterstützung: Informationen zu Hardware -Plattform -Ports
• Kernelfunktionen: Informationen zu verfügbaren Kernelfunktionen
• Userland -Komponenten und -Treiber: verfügbare Geräte -Treiber und Userland -Komponenten

Lizenz

Siehe die Datei lizenz.md.