We present LionsOS, an operating system for security- and safety-critical embedded systems. LionsOS is based on the formally verified seL4 microkernel and designed with verification in mind. It uses a static architecture and features a highly modular design driven by strict separa- tion of concerns and a focus on simplicity. We demonstrate that LionsOS achieves excellent performance on system-call intensive workloads.
Cite
@article{arxiv.2501.06234,
title = {Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance},
author = {Gernot Heiser and Ivan Velickovic and Peter Chubb and Alwin Joshy and Anuraag Ganesh and Bill Nguyen and Cheng Li and Courtney Darville and Guangtao Zhu and James Archer and Jingyao Zhou and Krishnan Winter and Lucy Parker and Szymon Duchniewicz and Tianyi Bai},
journal= {arXiv preprint arXiv:2501.06234},
year = {2025}
}