User:Ruud Koot/Microkernel

Microkernels

• EROS
  • Coyotos
• L4
• QNX
• Flask
• Pebble
• Mach
  • XNU
• Sprite
• Amoeba
• Chorus
• MINIX
• Integrity
• PikeOS
• Symbian
• Singularity
• K42

Operating systems

• GNU/HURD

References

• Liedtke, J. (1993). "Improving IPC by kernel design" (PDF). Proc. 14th ACM Symposium on Operating System Principles: 175–188.
• Liedtke, J. (1995). "On μ-Kernel Construction" (PDF). Proc. 15th ACM Symposium on Operating System Principles: 237–250.
• Shapiro, Jonathan S. (2003). "Vulnerabilities in Synchronous IPC Designs". IEEE Symposium on Security and Privacy.