There is at least an OS like environment called Nachos (Not Another Completely Heuristic Operating System) used many moons ago in the University OS class.

https://en.wikipedia.org/wiki/Not_Another_Completely_Heurist...

https://homes.cs.washington.edu/~tom/nachos/

(Not sure what the possible relation to Taos would be, to make this OT. ;-)