O núcleo do sistema operacional Ironclad
Ironclad é um núcleo formalmente verificado, capaz de processamento em tempo real, compatível com UNIX, para uso em sistemas operacionais de uso geral ou embarcado. É escrito em SPARK e Ada e é 100% software livre.
Ironclad inclui uma interface POSIX, multiprocessamento simétrico, Controle de Acesso Obrigatório (CAO), e a habilidade de executar tarefas em tempo real estrito.
Porque escolher Ironclad?
Livre como o vento
Ironclad é exclusivamente código aberto e é distribuído sob a licença GPLv3, garantindo que Ironclad permanece livre. Firmware proprietário não é incluído ou necessário, e a pilha de software é 100% código aberto.
Verificação formal
Usamos a verificação formal de SPARK para certificar a absência de erros e correção de grande parte do núcleo, exemplos são a criptografia, CAO, e a comunicação entre processos.
Compatível
Portado a diferentes plataformas e placas, e desenhado para ser facilmente portado à mais com relativa simplicidade. A toolchain de GNU como única dependência facilita compilação cruzada.
Distribuições e ecossistemaQuem paga por Ironclad?
Ironclad é financiado completamente por doações. Estas doações nos permitem desenvolver o projeto, e ajudam à cobrir gastos de infraestrutura. Apreciamos doações de todo tamanho e tipo.
Também oferecemos suporte técnico e consideração de certas funções para Ironclad em troca de doações. Para discutir esta possibilidade, por favor envie um correio à streaksu@mailbox.org.
Por doações consideráveis, existe a possibilidade de mencionar o nome nesta pagina. Para realizar esta possibilidade, envie um correio.
Agradecemos por seu apoio!
Grazie a:
Este projeto foi financiado através do NGI Zero Core, um Fundo criado por NLnet com a ajuda de da iniciativa Next Generation Internet program della Comissão Europeia. Mais informações disponíveis em A página do projeto NLnet.
Agradecemos também a cooperação das seguintes organizações:
