http://pt.wikipedia.org/wiki/DragonFly_BSD Segundo o wikipedia o DFBSD usa kernel híbrido. É verdade ?