Apparently virtual kernels are useful no matter the operating system.  (Thanks, somebody I lost the name of on #dragonflybsd)