Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
Gernot Heiser, Ivan Velickovic, Peter Chubb, Alwin Joshy, Anuraag Ganesh, Bill Nguyen, Cheng Li, Courtney Darville, Guangtao Zhu, James Archer, Jingyao Zhou, Krishnan Winter, Lucy Parker, Szymon Duchniewicz, Tianyi Bai
TL;DR
LionsOS is a modular, formally verified operating system built on seL4, optimized for security- and safety-critical embedded systems, demonstrating high performance in system-call intensive workloads.
Contribution
This paper introduces LionsOS, a new embedded OS that combines formal verification, modular design, and high performance for safety-critical applications.
Findings
Achieves excellent performance on system-call intensive workloads
Built on a formally verified seL4 microkernel
Features a highly modular, simple architecture
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.