Il kernel Ironclad

Ironclad è un kernel formalmente verificato, capace di calcolo in tempo reale, compatibile con UNIX e adatto a sistemi operativi generici o embedded. È scritto in SPARK e Ada ed è composto al 100% da software libero.

Ironclad include un'interfaccia POSIX, multiprocessing simmetrico, Controllo degli Accessi Obbligatorio (CAO), e la capacità di eseguire task in tempo reale rigoroso.

Perché scegliere Ironclad?

Libero

Ironclad è esclusivamente software libero ed è distribuito sotto la licenza GPLv3, garantendo che rimanga libero. Non è incluso né necessario alcun firmware proprietario, e lo stack di sviluppo è 100% software libero.

Verifica formale

Utilizziamo la verifica formale di SPARK per garantire l'assenza di errori e la correttezza di gran parte del kernel; esempi sono la crittografia, CAO e comunicazione tra processi.

Compatibilità

Portato a diverse piattaforme e schede, e progettato per essere facilmente portato a molte altre con relativa semplicità. La toolchain di GNU come unica dipendenza facilita la cross-compilazione.

Distribuzione ed ecosistema

La compatibilità con POSIX rende il porting e la creazione di software semplice e familiare. Diverse distribuzioni sono offerte pronte per essere scaricate e utilizzate per ciascuna delle piattaforme ufficialmente supportate. La distribuzione open source più prominente è Gloire.

Notizie più recenti

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.

Chi paga per Ironclad?

Ironclad è finanziato completamente tramite donazioni. Queste donazioni ci permettono di tenere conferenze, sviluppare il progetto e aiutano a coprire le spese per l'infrastruttura. Apprezziamo donazioni di ogni taglia e tipo.

Siamo anche lieti di prendere in considerazione particolari miglioramenti o modifiche, o di fornire assistenza tecnica specifica, in cambio di una donazione. Se desideri discutere questa possibilità, ti preghiamo di inviarci un'email a streaksu@mailbox.org.

Per donazioni sostanziali, esiste la possibilità di menzionare il donante in questa pagina; si prega di inviare un'email per concretizzare.

Grazie per il vostro aiuto