You are correct, but I was referring to desktops, and the particular example is Coherent from Mark Williams Company which was demonstrated running on an IBM PC at the National Computer Conference show in Houston in 1983. Minix came in 1987, if I recall correctly.