micro-kernel

[mɪk'rəʊk'ɜ:nl]
[计]微内核, 微核心