Debian GNU/kFreeBSDは、Debian GNU/LinuxのLinuxカーネル部分をFreeBSDのカーネルに置き換えたシステムである。名前がその構成をほぼそのまま表しており、「k」はKernelの意である。標準Cライブラリは（FreeBSDのlibcではなく）GNU Cライブラリであるが、プロジェクト側で手を入れている。特に、システムコールについては、FreeBSDにはLinuxのシステムコールを実行する機能があるがそれを使っているわけではなく、FreeBSDのシステムコールで動作している。

出典:wikipedia