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 ecossistema

Compatibilidade com POSIX faz o porting e o desenvolvimento de software simples e familiar. Várias distribuições são oferecidas prontas para baixar e usar, para todas as plataformas oficialmente suportadas. A distribuição mais prominente de código aberto é Gloire.

Quem paga por Ironclad?

Ironclad sempre será gratuito para uso, estudo e modificação, portanto, para apoiar o projeto, contamos com doações e subsídios. Cada contribuição faz a diferença e nos permite fazer mais.

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: