They have a working kernel, HURD, you can play with it using a Debian release:

http://www.debian.org/ports/hurd/