Der Ironclad-Betriebssystemkern
Ironclad ist ein formal verifiziertes, echtzeitfähiges, UNIX-ähnliches Betriebssystemkern, welches für Mehrzweck- und Embeddedverwendungen geeignet ist. Es wurde in SPARK und Ada geschrieben, und besteht aus 100% freier Software.
Ironclad verfügt über eine vertraute POSIX-kompatible Schnittstelle, symmetrisches Multiprocessing, Mandatory Access Control (MAC), und Unterstützung für hartes Echtzeitscheduling.
Why Choose Ironclad?
Frei wie in Freiheit
Ironclad ist vollständig Open Source und wird unter der GPLv3 verteilt, welche gewährleistet, dass Ironclad frei bleibt. Firmwareblobs sind weder notwendig noch mit dem Kernel geliefert. Jede Komponente des Softwarestacks ist Open Source.
Formale Verifikation
Die formale Verifikation durch SPARK wird verwendet, um die Abwesenheit von Fehlern und die Korrektheit von großen Teilen von Ironclad zu gewährleisten, wie zum Beispiel Kryptographie, MAC, und Interprozesskommunikation.
Portable
Auf mehreren unterschiedlichen Plattformen und Platinen portiert, und leicht auf andere Plattformen portierbar. Die GNU-Toolchain als einzige Abhängigkeit erleichtert die Cross-Kompilierung.
Distributionen und Ökosystem
POSIX-Kompatibilität erleichtert das Portieren von Software und die Softwareentwicklung. Das Projekt verfügt über Distributionen, die zum Download und zur Verwendung bereit stehen, und alle verfügbaren Architekturen und Platinen unterstützen. Die Prominenteste FOSS-Distribution ist Gloire.
Wer bezahlt für Ironclad?
Thanks to
Dieses Projekt wird finanziert durch NGI Zero Core, einen Fonds, der von NLnet mit finanzieller Unterstützung der Europäischen Kommission Internetprogramm der nächsten Generation. Lernen mehr auf der Projektseite NLnet.
Darüber hinaus möchten wir uns bei folgenden Organisationen bedanken:
