GNU’s Hurd kernel is shaping up. It may never have much of a role on the desktop because Linux has such a lead and wide acceptance but, on servers, there is little to keep Hurd out. Virtual machines usually offer only a few virtual devices after all so Hurd does not need a lot of drivers to run in one. Many servers are virtual these days so Hurd might fly there. Real NICs are cheap and plentiful, too. A real server could just change NICs if need be. Hurd has glue-code to allow use of drivers from Linux. Depending on how well that works, Hurd may run nicely. If Debian is interested in it Hurd must be at least stomping its hooves.
GNU Hurd is in Debian Wheezy now and may be released in Debian GNU/Linux in the next year or so.
I wonder if Debian GNU/Linux will have to become Debian GNU/* ?