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.
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!
Muchas gracias a
