seL4

O microokernel Sel4

Este projeto contém o código -fonte do microokernel Sel4.

Para detalhes sobre o microkernel Sel4, incluindo detalhes sobre sua prova formal de correção, consulte o site sel4.systems e as Perguntas frequentes associadas.

DOIs por citar lançamentos recentes deste repositório:

Congratulamo -nos com contribuições para SEL4. Consulte o site para obter informações sobre como contribuir.

Esse repositório geralmente não é usado isoladamente, mas como parte do sistema de construção em um projeto maior.

Sel4 Basics

• Tutoriais
• Documentação
• Bibliotecas Sel4
• Sel4test
• Guia de depuração
• Guia de benchmarking
• Virtualização no Sel4
• Host Build Dependências
• Porta Sel4

Comunidade

• Fóruns:
  • Discurso
  • Sel4 Anunciar
  • Sel4 Devel
• Projetos sugeridos
• Projetos comunitários

Consulte os links de contato no site Sel4 para obter a lista completa.

Relatando vulnerabilidades de segurança

Se você acredita que encontrou uma vulnerabilidade de segurança no Sel4 ou no software relacionado, solicitamos que você siga nossa política de divulgação de vulnerabilidades.

Manual

Uma versão hospedada do manual para o lançamento mais recente pode ser encontrada aqui.

Uma versão da Web da API pode ser encontrada aqui

Visão geral do repositório

• include e src : C e ASM Código -fonte de Sel4
• tools : construir ferramentas
• libsel4 : C ligações para o Sel4 ABI
• manual : Fontes de látex do manual de referência Sel4

Construir instruções

Consulte o site SEL4 para obter instruções de construção.

Status

Uma lista de lançamentos e status atual do projeto pode ser encontrada nas versões Sel4.

• Roteiro: novos recursos em desenvolvimento
• Suporte de hardware: informações sobre portas de plataforma de hardware
• Recursos do kernel: informações sobre os recursos do kernel disponíveis
• Componentes e drivers do usuário do usuário: drivers de dispositivo disponíveis e componentes de terras do usuário

Licença

Consulte o arquivo License.md.