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.

Notícias recentes

util-ironclad 0.1.0 released

2025-Mar-04

This release marks the first release of util-ironclad, the ironclad alternative for util-linux that distro maintainers can use for providing system management userland utilities like blkid, ps, dmesg, lspci, mount/umount, and the like.

Moving from Paypal to Stripe for donations

2025-Mar-02

Ironclad will be moving for its donations to Stripe from Paypal. This is done to make our processing easier and allowing people to do donations without a PayPal account, just using a credit card or bank transfer. We feel this is way more privacy respecting and will

Ironclad 0.6.0 released

2025-Feb-01

This release comes after a long gap of releases, and has had massive work done on almost every aspect of the kernel. Because of this, I find it hard to summarize the changes, but a gist of it is:

Further news can be read here.

Quem 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!