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.

Warum 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?

Ironclad wird ausschließlich durch Spenden finanziert. Spenden erlauben uns mehr Zeit im Projekt zu investieren und helfen uns Entwicklungskosten zu decken. Wir schätzen Spenden jeder Größe.

Wir sind außerdem dazu bereit im Gegenzug für Spenden bestimmte Verbesserungs- oder Änderungsvorschläge in Betracht zu ziehen oder technische Hilfe zu leisten. Um genaueres zu besprechen, bitte eine email an streaksu@mailbox.org senden.

Falls erwünscht, kann der Name des Spenders auf dieser Homepage erscheinen. Bitte senden Sie uns dafür eine email.

Danke für Ihre Unterstützung!