公式にサポートしているカーネルとしてはgnu hurdとlinuxカーネルがあるが、多数のパッチを当ててfreebsdおよびnetbsdで動作するようにしたバージョンも存在する(debian gnu/kfreebsdとdebian gnu/netbsd)。