seL4是一个高保障、高性能的操作系统微内核，它的设计是为了确保关键计算机系统的安全性和可靠性，其特有的能力管控模型为系统中运行的多个软件组件之间的隔离提供了最高保证。系统中若有某一部分产生传播性危害，seL4的存在将会使危害得到有效遏制。seL4内核全面实施了形式化验证，用严苛的数学推理精确论证了代码的正确性和安全性。seL4也支持硬件虚拟化扩展技术，可以使得多种不同运行环境的软件工程易于整合且高效运行。目前，seL4是支持汽车、航空、基础设施、医疗等各个领域积极使用的生态系统的基础部分。

随着汽车电子电气架构的迅速发展，无人驾驶时代的车辆架构将从传统分布式电子电气架构，转向域控制器电子电气架构，最终成为集中式电子电气架构，呈现出整合趋势。而在硬件逐渐整合的趋势下，软件整合和分离的需求同时产生。为了应对自主软件中的信息安全，功能安全和实时性挑战，一个高质量、先进的微内核成为汽车软硬件架构发展升级的必要选择。

seL4基金会的设立，形成了一个开放、透明和中立的组织，为开发人员提供了一个社区来协作开发和建设seL4生态系统，以减少广大软件开发者在采用seL4时面临的困难。目前，seL4基金会已有包含地平线、理想汽车、蔚来汽车、悉尼新南威尔士大学、RISC-V、CSIRO等企业、机构和社区在内的17个成员单位。

地平线秉持着开放共赢的生态合作理念，将广泛地去拥抱生态，做创新开放的产业生态的积极参与者。基于seL4生态系统，地平线将持续深入参与社区建设，并以长期的技术开发实践与经验赋能生态系统的成熟发展。