Description: Microkernel with small privileged nucleus providing processes, threads, IPC and synchronizing primitives. Modules added as separate processes in user-space. Unlike most kernels, uses mainly migrating thread model like Mach's. [Open Source, GPL]