seL4，一个经数学证明安全且高效的微内核操作系统，荣获ACM软件系统奖。此内核对关键行业的安全有重大影响，如航空电子、自动驾驶和医疗设备。Linux基金会正与CSIRO合作构建其生态系统。seL4提供顶级的隔离保障，保护系统免受局部危害的影响。
美国计算机协会 (ACM) 将 2022 年 ACM 软件系统奖项授予 seL4 微内核团队。
SeL4是世界上第一个通过数学方法被证明安全的操作系统内核，并且在安全的基础上还强调高性能，是世界上最快、最先进的 OS 微内核。它对于嵌入式计算系统的安全可信赖方面将会有极大意义，具体来看可能影响到航空电子、自动驾驶汽车、医疗设备、关键基础设施与国防等行业。理论上，SeL4 可以用作 Linux 和其它类 Unix 操作系统的底层基础，甚至此前曾被考虑用于 GNU/Linux “真内核” GNU Hurd。
Linux 基金会正在与澳大利亚国家科学机构 CSIRO 合作，打造 seL4 操作系统微内核生态。
seL4 是一个安全操作系统内核，旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。
基金会创始成员包括 Cog Systems、DornerWorks、Ghost Locomotion、HENSOLD Cyber 与 UNSW Sydney。
seL4 是 L4 微内核家族的成员，它为系统中运行的应用之间的隔离提供了最高级别保障，可以遏制系统某一部分的危害，并防止损害系统中其它可能更关键的部分。
来源：
扫一扫
1万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
