The kernel he is working on, called "hurd". http://en.wikipedia.org/wiki/GNU_Hurd It can run on other Unixes as well, including BSD and Open Solaris, not that I would recommend any of his crap.