QNX was my operating system from 1985 to 1988. I also studied it in 2000 for a project that ended up getting cancelled.

Initially the actual implementation didn't match the conceptual framework, but by version 1.2 they had really cleaned things up.