Véanse los casos de Debian GNU/kFreeBSD, Arch Hurd, Debian GNU/Hurd o NetBSD.