Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , , , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913860416438272 |
|---|---|
| author | Heiser, Gernot Velickovic, Ivan Chubb, Peter Joshy, Alwin Ganesh, Anuraag Nguyen, Bill Li, Cheng Darville, Courtney Zhu, Guangtao Archer, James Zhou, Jingyao Winter, Krishnan Parker, Lucy Duchniewicz, Szymon Bai, Tianyi |
| author_facet | Heiser, Gernot Velickovic, Ivan Chubb, Peter Joshy, Alwin Ganesh, Anuraag Nguyen, Bill Li, Cheng Darville, Courtney Zhu, Guangtao Archer, James Zhou, Jingyao Winter, Krishnan Parker, Lucy Duchniewicz, Szymon Bai, Tianyi |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_06234 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance Heiser, Gernot Velickovic, Ivan Chubb, Peter Joshy, Alwin Ganesh, Anuraag Nguyen, Bill Li, Cheng Darville, Courtney Zhu, Guangtao Archer, James Zhou, Jingyao Winter, Krishnan Parker, Lucy Duchniewicz, Szymon Bai, Tianyi Operating Systems Cryptography and Security D.4.7; D.4.8 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. |
| title | Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance |
| topic | Operating Systems Cryptography and Security D.4.7; D.4.8 |
| url | https://arxiv.org/abs/2501.06234 |