2025年seL4峰会于9月3日至5日在捷克布拉格举行。作为seL4社区的年度国际盛会，此次峰会汇聚了开发者、研究人员和行业合作伙伴，共同分享这款全球最高安全等级操作系统内核的最新进展、实际应用案例和未来规划。
深度数智创始人兼CEO梁宇宁 分享了将seL4 微内核 移植到RISC-V平台 的技术历程，以及如何通过这种组合实现可信的高性能AI个人计算机。我们探讨了seL4经形式化验证的安全特性与RISC-V开放灵活架构相结合的优势，为在安全平台上本地运行大语言模型（LLM）等AI工作负载铺平道路。