LionsOS Design, Implementation and Performance5 months ago#Operating Systems#Embedded Systems#Securityhttps://arxiv.org/abs/2501.06234Copy LinkLionsOS是一款专为安全关键型嵌入式系统设计的操作系统。基于经过形式化验证的seL4微内核，LionsOS强调可验证性与模块化设计。采用静态架构，严格遵循关注点分离原则，并追求极简设计理念。在系统调用密集型工作负载场景下展现出卓越性能表现。