- Extensibility safety and performance in the SPIN operating system'sosp95
- Project: oskit
- MMLite: a highly componentized system architecture, ACM SIGOPS European Workshop'98
- Customization lite -- operating systems
- Think: A Software Framework for Component-based Operating System Kernels, USENIX ATC'02
- The Pebble Component-Based Operating System, USENIX ATC'99
- Knit: component composition for systems software, OSDI'00
- A survey of customizability in operating systems research, CSUR'02
- Architecting reconfigurable component-based operating systems,J. Syst. Archit.'08
- Utilizing Linux kernel components in K42