Does Zen use a microkernel architecture?
The Zen kernel is built as a small microkernel capable of symmetric multiprocessing. It provides a small set of system services including: pre-emptive process scheduling; inter-process communication primitives; object and capability management; a periodic check-pointing mechanism ensuring against catastrophic system failure.