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