I worked with embedded systems in the 90's and we used pSOS. Today I learned that there are two operating systems named that way that are targeted at different problems. The pSOS we used was heavily targeted to hard realtime performance.
https://en.wikipedia.org/wiki/PSOS_(real-time_operating_syst...