GNU HURD is the GNU project's replacement for the Unix kernel