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.

Aktuelle Nachrichten

util-ironclad 0.1.0 released

2025-Mar-04

This release marks the first release of util-ironclad, the ironclad alternative for util-linux that distro maintainers can use for providing system management userland utilities like blkid, ps, dmesg, lspci, mount/umount, and the like.

Moving from Paypal to Stripe for donations

2025-Mar-02

Ironclad will be moving for its donations to Stripe from Paypal. This is done to make our processing easier and allowing people to do donations without a PayPal account, just using a credit card or bank transfer. We feel this is way more privacy respecting and will

Ironclad 0.6.0 released

2025-Feb-01

This release comes after a long gap of releases, and has had massive work done on almost every aspect of the kernel. Because of this, I find it hard to summarize the changes, but a gist of it is:

Further news can be read here.

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!