Can use the Hurd kernel. Comes with Linux by default.