В статье "A Peek at the DragonFly Virtual Kernel" рассказано об архитектуре технологии виртуальных ядер DragonFly BSD - VKERNEL, запускаемых как пользовательский процесс.