Embora o seu default continue sendo o kernel do FreeBSD 9.2.0, o kernel do FreeBSD 10 (atualmente em versão RC) já foi incorporado ao Debian 8.0 "Jessie", e está empacotado ("kfreebsd-image-10.0-0-amd64") e disponível para quem usar as versões de desenvolvimento do Debian GNU/kFreeBSD. O Phoronix comparou o desempenho em relação ao Debian 7.2 e ao Debian 8.0 com o o kernel do FreeBSD 9.2.0, que continua sendo o default – veja os resultados no link a seguir. (via www.phoronix.com - “[Phoronix] FreeBSD 10.0 Kernel Comes To Debian”)