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, and y es 100% software libre.
Ironclad incluye una interfaz compatible con POSIX, multiprocesamiento simétrico, Control de Acceso Obligatorio (CAO), y la capacidad de ejecutar tareas a tiempo real estricto.
Porque elegir Ironclad?
Libre como el viento
Ironclad es exclusivamente 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 ausencia de errores y corrección de gran parte del núcleo, ejemplos son la criptografia, CAO, y comunicación 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 siempre será gratis para usar, estudiar, y modificar el código, para continuar esta labor, dependemos de donaciones y becas. Cada contribución cuenta.
Gracias a:
Este proyecto ha estado financiado gracias a la iniciativa NGI Zero Core, un fondo establecido por NLnet con ayuda de la iniciativa Next Generation Internet program de la comision europea. Más información disponible en la página de proyecto de NLnet.
Agradecemos tambien la colaboración de las siguientes organizaciones:
