Looks like this one?
https://en.wikipedia.org/wiki/Convergent_Technologies_Operat...
Thanks for sharing, never heard about it before. What was kernel programming back then? Briefly checked the wikipedia and looks like CTOS was kinda big in the government space back in the 80s.