内核架构

• 基于微内核的Type 1 虚拟机监控程序
• 基于开源软件
• 支持虚拟机与本地 L4Re 应用程序同时运行
• 采用硬件辅助虚拟化和半虚拟化技术
• 引入能力模型，提供高度安全的服务访问控制

资源管理与系统效率

• 动态调度
• 利用 MMU 实现内存保护
• 具备独立于来宾软件的共享内存技术
• 用于数据交换的裸机机制
• 采用模块化架构，构建块可灵活配置

兼容性与灵活性

• 提供受限的 POSIX 兼容接口，即可利用 L4Re 环境移植的 C 库
• 适用于所有域：信息娱乐、ADAS、中央计算、网联、车身域、座舱

信息安全与访问控制

• 控制对关键外设（例如主板网络、加密内核等）的访问