Hasty Briefsbeta

LionsOS Design, Implementation and Performance

a day ago
https://arxiv.org/abs/2501.06234
Copy Link
  • #Operating Systems
  • #Embedded Systems
  • #Security
  • LionsOS is an operating system designed for security- and safety-critical embedded systems.
  • Based on the formally verified seL4 microkernel, LionsOS emphasizes verification and modular design.
  • Features a static architecture with strict separation of concerns and a focus on simplicity.
  • Demonstrates excellent performance on system-call intensive workloads.
AboutLogin