microkernel

n.

微核；

Microkernel
Microkernel operating system architecture and mach
The Spring nucleus: A microkernel for objects
Dependability of COTS Microkernel-Based Systems
Comprehensive Formal Verification of an OS Microkernel
SPIN: an extensible microkernel for application-specific operating system services
SPIN —an extensible microkernel for application-specific operating system services
Exception handling method and apparatus for a microkernel data processing system
System for multiple co-existing operating system personalities on a microkernel
Debugging kernel-loadable modules and suspending and replacing functions in non-microkernel operating systems