seL4

Le micro-noyau Sel4

Ce projet contient le code source de Sel4 Microkernel.

Pour plus de détails sur le Microkernel SEL4, y compris les détails sur sa preuve formelle de l'exactitude, veuillez consulter le site Web sel4.systems et la FAQ associée.

Dois pour citer les versions récentes de ce référentiel:

Nous saluons les contributions à SEL4. Veuillez consulter le site Web pour savoir comment contribuer.

Ce référentiel n'est généralement pas utilisé isolément, mais dans le cadre du système de construction dans un projet plus grand.

Sel4 Basics

• Tutoriels
• Documentation
• Bibliothèques Sel4
• Sel4test
• Guide de débogage
• Guide de référence
• Virtualisation sur SEL4
• Dépendances de construction d'hôtes
• Portage sel4

Communauté

• Forums:
  • Discours
  • Sel4 annonce
  • Sel4 DÉVELLER
• Projets suggérés
• Projets communautaires

Voir les liens de contact sur le site Web SEL4 pour la liste complète.

Signaler les vulnérabilités de sécurité

Si vous pensez que vous avez trouvé une vulnérabilité de sécurité dans SEL4 ou un logiciel connexe, nous vous demandons de suivre notre politique de divulgation de vulnérabilité.

Manuel

Une version hébergée du manuel pour la version la plus récente peut être trouvée ici.

Une version Web de l'API peut être trouvée ici

Présentation du référentiel

• include et src : Code source C et ASM de SEL4
• tools : Créer des outils
• libsel4 : C Berouilles pour le SEL4 ABI
• manual : Sources en latex du manuel de référence SEL4

Construire des instructions

Voir le site Web SEL4 pour les instructions de création.

Statut

Une liste des versions et l'état actuel du projet se trouvent dans les versions Sel4.

• Feuille de route: nouvelles fonctionnalités de développement
• Prise en charge du matériel: informations sur les ports de plate-forme matérielle
• Caractéristiques du noyau: Informations sur les fonctionnalités du noyau disponibles
• Composants et pilotes de l'utilisateur: Pilotes de dispositif disponibles et composants de l'utilisateur

Licence

Voir le fichier licence.md.