...It's basically a micro-kernel, but on top of that, instead of having multiple servers running as standalone processes, it has a modular kernel, so that each server is a module of this kernel.
The micro-kernel contains only the scheduler, memory management and drivers for high-speed devices (like gigabit ethernet NICs or video cards).