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.
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.