micro-kernels

(micro-kernel 的复数) [计]微内核, 微核心