Non, Hurd devrait être le vrai OS GNU... mais comme il n'est pas en état de fonctionner, c'est Linux qui a été choisi "en attendant" (enfin, ça reste un sujet de troll récurrent ^^)