Hurd specifically includes a userspace. Its kernel is Mach.