Interesting, I worked at Lexmark for a few years and didn't know that. One of my professors at the University of Kentucky worked on Xinu, I wonder if he had any influence on it being used at Lexmark (the university and company are both based in Lexington, KY)