LionsOS, a highly modular seL4-based OS using simple single-purpose components and use-case-specific policies, outperforms Linux on network echo and storage benchmarks despite many more context switches.
In USENIX Symposium on Operating Systems Design and Im- plementation
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.OS 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
LionsOS, a highly modular seL4-based OS using simple single-purpose components and use-case-specific policies, outperforms Linux on network echo and storage benchmarks despite many more context switches.