seL4

El sel4 microkernel

Este proyecto contiene el código fuente de SEL4 Microkernel.

Para obtener detalles sobre SEL4 Microkernel, incluidos detalles sobre su prueba de corrección formal, consulte el sitio web sel4.systems y las preguntas frecuentes asociadas.

DOIS para citar lanzamientos recientes de este repositorio:

Agradecemos contribuciones a SEL4. Consulte el sitio web para obtener información sobre cómo contribuir.

Este repositorio generalmente no se usa de forma aislada, sino como parte del sistema de compilación en un proyecto más grande.

Sel4 conceptos básicos

• Tutoriales
• Documentación
• bibliotecas SEL4
• sel4test
• Guía de depuración
• Guía de evaluación comparativa
• Virtualización en SEL4
• Dependencias de compilación del host
• Porting SEL4

Comunidad

• Foros:
  • Discurso
  • Sel4 anunciar
  • Desarrollar SEL4
• Proyectos sugeridos
• Proyectos comunitarios

Consulte los enlaces de contacto en el sitio web de SEL4 para la lista completa.

Informar vulnerabilidades de seguridad

Si cree que ha encontrado una vulnerabilidad de seguridad en SEL4 o software relacionado, le pedimos que siga nuestra política de divulgación de vulnerabilidad.

Manual

Aquí se puede encontrar una versión alojada del manual para el lanzamiento más reciente.

Se puede encontrar una versión web de la API aquí

Descripción general del repositorio

• include y src : C y código fuente ASM de SEL4
• tools : Crear herramientas
• libsel4 : enlaces C para el SEL4 ABI
• manual : Fuentes de látex del Manual de referencia SEL4

Construir instrucciones

Consulte el sitio web de SEL4 para ver las instrucciones de compilación.

Estado

Se puede encontrar una lista de versiones y el estado actual del proyecto en versiones SEL4.

• Hoja de ruta: nuevas características en el desarrollo
• Soporte de hardware: información sobre puertos de plataforma de hardware
• Características del núcleo: Información sobre las funciones de kernel disponibles
• Componentes y controladores de Userland: controladores de dispositivos disponibles y componentes de Userland

Licencia

Consulte la licencia de archivo. MD.