My first question was what are they suggesting defence uses instead? "an absolutely-secure totally-reliable POSIX compliant operating system, such as INTEGRITY

My first question was what are they suggesting defence uses instead? "an absolutely-secure totally-reliable POSIX compliant operating system, such as INTEGRITY" Then I wondered who makes INTEGRITY? The author of the post: Dan O’Dowd, CEO of Green Hills Software