They are similar to micro kernels, except they include some additional code in kernel-space to increase performance.
Parecido ao microkernel, excepto porque inclúe código adicional no espazo de núcleo para que se execute máis rapidamente.