Ironclad 是一款(部分)经过正式验证的、具有实时能力的、类似于 UNIX 的操作系 统内核,适用于通用和嵌入式用途。 它使用 SPARKAda 编写,并且由 100% 免费软件组成。

选择 Ironclad 的理由?

自由(Free as in freedom)

Ironclad 是一款完全开源,并遵循 GPLv3 许可协议的操作 系统内核。这意味着它将始终保持免费。无需安装或提供任何固件。内核的每个部分都 是开源的。

正式验证

SPARK 采用最先进的 正式验证 技术,用于确保 Ironclad 的安全性,例如密码 学、MAC 以及面 向用户的接口,这些部分都经过验证,从而确保其无错误且正确。

可移植性

Ironclad 已移植到多个平台和板卡上,并且旨在轻松移植到更多平台。仅依赖 GNU 工 具链,使得跨编译变得容易。

发行版和生态系统

POSIX 兼容性使得软件移植和 开发变得容易。 该项目提供可下载和使用的各种发行版,适用于所有可用的架构和板 卡,其中最著名的开源项目是 Gloire

谁为 Ironclad 支付费用?

Ironclad 将始终保持免费,用于使用、学习和修改。 因此,为了支持该项目, 我们依赖于捐款和资助。 每一份贡献都至关重要,并使我们能够做更多的事情。

感谢

该项目已通过 NGI Zero Core 接收到捐款, 该基金由 NLnet 设立,并获得了欧洲委员会的 Next Generation Internet program 的资金支持。 更多信息请访问 NLnet 项目页面