je me rends compte à quel point c'est pipo ces histoires de distro libres...

alors si le kerninux est pas libre je fais quoi? je mets hurd a la place?