Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-os
A curated list of resources on operating system design and implementation.
https://github.com/penberg/awesome-os
- ACM Architectural Support for Programming Languages and Operating Systems
- ACM Symposium on Operating Systems Principles
- The UNIX Time-Sharing System
- Exokernel: An Operating System Architecture for Application-Level Resource Management
- The Design and Implementation of an Operating System to Support Distributed Multimedia Applications
- Corey: An Operating System for Many Cores - Wickizer et al. OSDI '08
- The Multikernel: A new OS architecture for scalable multicore systems
- retrospective
- seL4: Formal Verification of an OS Kernel
- Rethinking the Library OS from the Top Down
- Dune: Safe User-level Access to Privileged CPU Features
- Unikernels: Library Operating Systems for the Cloud
- Arrakis: The Operating System is the Control Plane
- IX: A Protected Dataplane Operating System for High Throughput and Low Latency
- Multiprogramming a 64 kB Computer Safely and Efficiently
- LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation
- RedLeaf: Isolation and Communication in a Safe Operating System
- Twizzler: a Data-Centric OS for Non-Volatile Memory
- The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems
- Barrelfish
- Demikernel
- Kerla
- Tock
- Twizzler
- egos-2000