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 sera toujours gratuit pour l'utilisation, l'étude et la modification, donc, pour soutenir le projet, nous comptons sur l'utilisation de dons et de subventions. Chaque contribution fait une différence et nous permet de faire plus.
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:
