。
微核心列表.微内核结构必然是多线程的，第一代微内核，在内核提供了较多的服务，因此被称为“胖微内核”，它的典型代表是Mach，它既是GNU HURD也是Mac OS X的内核。第二代微内核只提供最基本的OS服务，典型的OS是QNX，QNX在黑莓手机BlackBerry 10系统中被采用。L4微内核系列也是着名的微核心。
变种微核心.包括Windows NT，Mac OS X等，都宣称採用微核心架构。为了追求效能，他们将需要具备特权的服务组件放进核心空间，违