Technically there may be one. While the history of Hurd shows that the opposite is not quite true. So all things considered it should really be Linux/GNU :-)