在智能操作系统领域，开源鳯微内核V2.3与开源小满EasyXMen V25.10的相继问世，为行业发展注入了全新活力。作为全球首个采用形式化验证技术的开源智驾操作系统微内核，开源鳯微内核V2.3将安全性提升至前所未有的高度。该内核通过数学模型精确定义系统行为准则，并运用严谨的数学方法验证系统完全符合规范。这种技术路径能覆盖各类潜在输入及系统状态，确保软件的每项行为都经过严格审视，从底层构筑起牢不可破的安全防线。值得注意的是，开源鳯的技术应用并不局限于汽车领域，而是依托开源生态技术同源、供应链共享的协同网络，加速向低空飞行器、人形机器人等多元智能终端拓展。目前该系统已在某国产航空软件项目中成功落地应用。

开源小满EasyXMen V25.10同样表现卓越，成为全球首个实现规模化量产级应用的安全车控操作系统。该系统采用开源共建模式，围绕车辆控制的各类应用场景，构建起具备高实时性、高安全性和高可靠性的车控操作系统平台。这一创新实践为行业企业带来诸多助益，实现了资源共享、研发协同以及成本优化等多重优势。

开源小满的发展历程同样亮点纷呈。其首代版本于2024年10月24日正式上线，在众多生态伙伴的协同助力下，社区生态呈现出蓬勃发展的良好态势。短短一年后的2025年10月24日，开源小满V25.10版本便正式发布，在功能与性能方面实现了全面提升。在芯片适配方面，小满成果显著，已完成180余款国内外芯片的适配工作。其中，普华基础软件与英飞凌基于Drive Core展开深度合作，近期即将完成在TC4Dx芯片平台的适配。在社区建设方面，开源小满同样成效卓著。截至2025年10月，社区已汇聚41家整车企业、420余家零部件企业、189所高校以及1993位社区成员。开源软件下载和克隆总次数突破1.6万次，社区累计访问量更是超过10万次。

普华基础软件始终致力于开源技术与产品创新，积极携手生态伙伴，以开源模式打破产业壁垒，为构建开放协同、安全普惠的数智世界持续贡献力量。