Le Noyau du Système d'Exploitation Ironclad
Ironclad est un noyau de système d'exploitation UNIX-like, en temps réel, formellement vérifié, pour utilisation générale ou embarquée. Il est écrit en SPARK et Ada, et est composé à 100% de logiciel libre.
Ironclad vient avec une interface compatible POSIX, une vraie préemption multitâche simultanée, Mandatory Access Control (MAC), et le support de l'ordonnancement en temps réel.
Pourquoi Choisir Ironclad?
Libre comme Liberté
Ironclad est complètement open source et distribué sous la GPLv3, assurant ainsi sa liberté. Aucun blob de firmware n'est requis ou fourni avec le noyau. Chaque morceau est open source.
Vérification formelle
La vérification formelle à l'état de l'art de SPARK est employée pour garantir l'absence d'erreurs et la justesse de pans entiers d'Ironclad, comme la cryptographie, MAC, et les fonctionnalités utilisateur.
Portable
Porté vers plusieurs plateformes et cartes, et conçu pour pouvoir facilement se porter vers de nombreuses autres. Dépend uniquement des outils GNU, permettant une cross-compilation facile.
Distributions et écosystèmeQui paye pour Ironclad ?
Ironclad est entièrement soutenu par les donations. Les donations nous permettent de passer plus de temps à travailler sur le projet et à couvrir les frais de développement. Nous apprécions les dons de n'importe quel montant.
Nous serions aussi heureux de faire des améliorations ou des changements particuliers ou de donner des conseils techniques, en retour de dons. Si vous souhaitez discuter de cette possibilité, envoyez-nous un email à streaksu@mailbox.org.
Si voulu, le nom du donateur peut être ajouté dans la section de remerciements de l'index de ce site, envoyez-nous un email pour cela.
Merci de votre soutien !
Merci à
Ce projet est financé par NGI Zero Core, un fonds mis en place par NLnet avec soutien financier du Next Generation Internet program de la Commission Européenne. Plus d'information sur la page du projet NLnet.
De plus, nous aimerions remercier les organisations suivantes:
