[TUHS] Government-Issue UNIX?

[Douglas McIlroy via TUHS]

When Jim Reeds and I were making the IX multilevel-secure Unix
(1987-88), an Orange-Book-compliant Unix was being made for the
government at BTL's Whippany Lab. There was some communication between
the two projects, but different objectives led to significantly
different systems.

Did the Whippany product become KSOS, or did DOD end up with two
"secure" Unixes?

Doug