seL4操作系统微内核

西部数码资讯门户 - hotnews 发布于 2020-04-17

近日 Linux 基金会宣布托管 seL4 基金会，该基金会以澳大利亚国家科学机构 CSIRO 的数字机构 Data61 创建的 seL4 操作系统微内核为基础项目。seL4 是一个安全操作系统内核，旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。

阅读(1469)赞 (0)