El núcleo de sistema operativo Ironclad

Ironclad es un núcleo formalmente verificado, capaz de procesamiento a tiempo real, compatible con UNIX, para uso en sistemas operativos de use general o embebido. Está escrito en SPARK y Ada y es 100% software libre.

Ironclad incluye una interfaz POSIX, multiprocesamiento simétrico, Control de Acceso Obligatorio (CAO), y la abilidad de ejecutar tareas a tiempo real estricto.

Porque elegir Ironclad?

Libre como el viento

Ironclad es exclusivamiente código abierto y es distribuido bajo la licencia GPLv3, asegurando que Ironclad permanece libre. No firmware privativo es incluido o necesario, y el stack de desarrollo es 100% código abierto.

Verificación formal

Usamos la verificación formal de SPARK para certificar la absencia de errores y corrección de gran parte del núcleo, ejemplos son la cryptografia, CAO, y communicacion entre procesos.

Compatible

Portado a diferentes plataformas y placas, y diseñado para ser fácilmente portado a muchas más con relativa simplicidad. La toolchain de GNU como única dependencia facilita compilación cruzada.

Distribuciones y ecosistema

Compatibilidad con POSIX hace el porting y creación de software simple y familiar. Varias distribuciones son ofrecidas listas para descargar y usar, para todas y cada una de las plataformas oficialmente soportadas. La distribución mas prominente de código abierto es Gloire.

Noticias más recientes

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.

Quien paga por Ironclad?

Ironclad es financiado completamente por medio de donaciones. Estas donaciones nos permiten dar charlas, desarrollar el projecto, y ayudan a cubrir gastos de infrastuctura. Apreciamos donaciones de todo tamaño y tipo.

Ofrecemos tambien soporte técnico, la consideracion de ciertas funciones para Ironclad, y otros, a cambio de donaciones. Para concretar, por favor envie un correo a streaksu@mailbox.org.

Por donaciones substanciales, existe la posibilidad de mencionar el donante en esta pagina, por favor, envie un correo para concretar.

Gracias por su apoyo!