找回密码
 骑士注册

QQ登录

微博登录

❏ 站外平台:

tag 标签:

相关文章

  • “世界上最可靠的操作系统”seL4开源了!

    一个宣称是世界上最可靠的操作系统的、由澳大利亚开发的Secure Embedded L4(简称seL4)微内核现在面向全球开源了。 L4是一组基于微内核构架的操作系统内核。五年前,澳大利亚研究组织NICTA创造了一个新的L4版本,称为 Secure Embedded L4,宣布在世界上率先开发出第一个正规机器检测证明(formal machine-checked proof)通用操作系统。seL4微内核设计针对实时应用,可潜在应用于强调安全和关键性任务的领域内,如军用和医疗行业。 该系统的开源版本包括所有seL4内核的源代码、证明和规范,再加上过去五年中开发的一系列额外程序,如工

    2014-08-03 11:00     开源大叔

  • 为安全而优化的 seL4 微内核获得了 Linux 基金会的支持

    seL4 基金会旨在加速任何软件系统的安全性和可靠性。

    2020-04-09 10:21     Lf, LFAPAC

返回顶部

分享到微信

打开微信,点击顶部的“╋”,
使用“扫一扫”将网页分享至微信。