The first two links to http://www.dickpountain.co.uk/home/computing/byte-articles/t... , which was informative, and I enjoyed david-given's HN comments in the second submission.

Do note that both of those links were submitted by the same person on the same day, so that's a duplicate submission.

The third link noted (1995) in the submission title; useful information missing from this one. It links to the same Usenet posting.

The last link you gave is this discussion thread, so I don't think it's quite fair to include it as a "on HN before" reference.

Perhaps someone more knowledgeable about the topic could update https://en.wikipedia.org/wiki/List_of_operating_systems and/or https://en.wikipedia.org/wiki/Tao_Group ? That's where I expect to find mention of "TAOS operating System"; a name which simply redirects to Tao Group.

I mean, now that minix uses the netbsd userland I'm pretty sure this really is true.

I always though the hard part was in the kernel design and not the userland.

Otherwise it would have been the gnu os and not gnu/linux.

And if it was not for a book license there was a good chance it would have been gnu/minix. But meh I'm not in that universe.

And to your point: I'm not sure which of kernel or userland is harder. Userland is the part I actually interact with most of the time, so I tend to think of that as the main part of the OS. But it may be fair to say that both halves count.