KSOS: The 1980s Unix that pioneered type safety before Rust

A 1980s secure Unix variant called KSOS used Modula-2 for type safety, predating Rust by decades. Its source code recently resurfaced, highlighting early OS security efforts. The project influenced later secure systems but remained obscure.