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
Grazie a:
Questo progetto è stato finanziato grazie all'iniziativa NGI Zero Core, un fondo istituito da NLnet con l'aiuto dell'iniziativa Next Generation Internet program della Commissione Europea. Più informazioni disponibili su la pagina del progetto NLnet.
Siamo inoltre grati per la collaborazione delle seguenti organizzazioni:
