蔚来Sky天枢操作系统详解，seL4微内核
天枢操作系统是基于德国seL4微内核的，2024年10月的seL4峰会上，蔚来技术副总裁曲宁做了演讲，文档如下https://sel4.systems/Foundation/Summit/2024/slides/software-defined.pd ...