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.

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