I think HURD's kernel would have had more pressure to deliver something (instead of endless academic bickering) without a serviceable Linux kernel. And GNU userspace has been pretty good!
Or it may have still fallen into endless academic bickering with nothing delivered and the GNU userspace may have therefore failed to take off at all. We'll never know what would have happened!
