Everything about Microkernel

🧭 Start here: a 6-step reading path

1. Read the overview: MicrokernelA 5-minute orientation
2. Skim a recent paper: Model-driven development for the seL4 microkernel using the HAMR frameworkInfluential work since 2022
3. Pick up a classic book: Modern Operating SystemsThe most-reprinted book on the subject
4. Read the landmark paper: Comprehensive formal verification of an OS microkernelCited 269 times
5. Go sideways: L4 microkernel familyA closely related topic
6. Go sideways: Kernel (operating system)A closely related topic

🏆 Landmark papers (most cited)

• Comprehensive formal verification of an OS microkernel

  Gerwin Klein, June Andronick, Kevin Elphinstone · 2014 · ACM Transactions on Computer Systems · 269 citations

• Dependability of COTS microkernel-based systems

  J. Arlat, J.-C. Fabre, M. Rodriguez · 2002 · IEEE Transactions on Computers · 105 citations

• CAmkES: A component model for secure microkernel-based embedded systems

  Ihor Kuz, Yan Liu, Ian Gorton · 2007 · Journal of Systems and Software · 55 citations

• Lessons Learned From Microkernel Verification — Specification is the New Bottleneck

  Christoph Baumann, Bernhard Beckert, Holger Blasum · 2012 · Electronic Proceedings in Theoretical Computer Science · 40 citations

• Preparation of Microkernel-Based Mesoporous (SiO2–CdTe–SiO2)@SiO2 Fluorescent Nanoparticles for Imaging Screening and Enrichment of Heat Shock Protein 90 Inhibitors from Tripterygium Wilfordii

  Yue Hu, Zhao-Yi Miao, Xiao-Jing Zhang · 2018 · Analytical Chemistry · 32 citations

• SPIN —an extensible microkernel for application-specific operating system services

  Brian N. Bershad, Craig Chambers, Susan Eggers · 1995 · ACM SIGOPS Operating Systems Review · 25 citations

• Microkernel Architecture and Hardware Abstraction Layer of a Reliable Reconfigurable Real-Time Operating System (R3TOS)

  Xabier Iturbe, Khaled Benkrid, Chuan Hong · 2015 · ACM Transactions on Reconfigurable Technology and Systems · 23 citations

• Architectural issues in microkernel-based operating systems: the Chorus experience

  Allan Bricker, Michel Gien, Marc Guillemont · 1991 · Computer Communications · 21 citations

🆕 Influential since 2022

• Model-driven development for the seL4 microkernel using the HAMR framework

  Jason Belt, John Hatcliff, Robby · 2023 · Journal of Systems Architecture · 18 citations

• seL4 Microkernel for Virtualization Use-Cases: Potential Directions towards a Standard VMM

  Everton de Matos, Markku Ahvenjärvi · 2022 · Electronics · 8 citations

• Special issue: Emerging trends in real-time embedded systems: from Microkernel architecture to control system analysis and IoT frameworks

  Cong Liu · 2024 · Real-Time Systems · 2 citations

• [Retracted] Design of Embedded Ai Engine Based on the Microkernel Operating System

  Tun Wang, Yu Tian · 2022 · Wireless Communications and Mobile Computing · 1 citations

• Whole-system Persistence Made Efficient with Tree-structured Checkpointing on Microkernel

  Mingkai Dong, Fangnuo Wu, Gequan Mo · 2025 · ACM Transactions on Computer Systems · 1 citations

📚 Books worth reading

• Modern Operating SystemsAndrew S. Tanenbaum, Herbert Bos · 1992
• Design and verification of microprocessor systems for high-assurance applicationsDavid S. Hardin · 2010
• MklinuxRich Morin · 1997
• 📕The L4 microkernel on AlphaSebastian Schönberg · 1996
• 📕OPERA-GWin Bausch · 2004
• 📕Load distributionDejan S. Milojičić · 1994
• Load Distribution · 1994
• 📕Implementation for the Mach Microkernel (Vieweg Advanced Studies in Computer Science)Dejan S. Milojicic · 1994

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• L4 microkernel family L4 is a family of second-generation microkernels, used to implement a variety of types of operating systems (OS), though mostly for Unix-like, Portable…
• Kernel (operating system) A kernel is a computer program at the core of a computer's operating system that always has complete control over everything in the system. The kernel…
• Mach (kernel) Mach (/mɑːk/) is an operating system kernel developed at Carnegie Mellon University by Richard Rashid and Avie Tevanian to support operating system research…
• SeL4 seL4 (security enhanced L4) is an open-source, high-assurance, capability-based microkernel. It inherits the performance and design characteristics of…
• Gernot Heiser Gernot Heiser (born 1957) is a German-Australian computer scientist. He is a Scientia Professor and the John Lions Chair for operating systems at UNSW…
• RC 4000 multiprogramming system The RC 4000 Multiprogramming System (also termed Monitor or RC 4000 depending on reference) is a discontinued operating system developed for the RC-4000…
• Jochen Liedtke Jochen Liedtke (26 May 1953 – 10 June 2001) was a German computer scientist, noted for his work on microkernel operating systems, especially in creating…
• Hybrid kernel A hybrid kernel is an operating system kernel whose architecture attempts to combine aspects and benefits of microkernel and monolithic kernel architectures…