Linux.中国 - 开源社区

 找回密码
 骑士注册

QQ登录

微博登录


tag 标签:
  • seL4 [1]


相关文章

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

分享到微信朋友圈

打开微信,点击底部的“发现”,
使用“扫一扫”将网页分享至朋友圈。