What exactly is HURD. I remember hearing something about it from GNU (thought it was a clone of the Linux kernel)???