一个宣称是世界上最可靠的操作系统的、由澳大利亚开发的Secure Embedded L4（简称seL4）微内核现在面向全球开源了。 L4是一组基于微内核构架的操作系统内核。五年前，澳大利亚研究组织NICTA创造了一个新的L4版本，称为 Secure Embedded L4，宣布在世界上率先开发出第一个正规机器检测证明（formal machine-checked proof）通用操作系统。seL4微内核设计针对实时应用，可潜在应用于强调安全和关键性任务的领域内，如军用和医疗行业。 该系统的开源版本包括所有seL4内核的源代码、证明和规范，再加上过去五年中开发的一系列额外程序，如工
2014-08-03 11:00 开源大叔
seL4 基金会旨在加速任何软件系统的安全性和可靠性。
2020-04-09 10:21 Lf, LFAPAC
分享到微信
打开微信，点击顶部的“╋”，
使用“扫一扫”将网页分享至微信。
标签: