Esimest korda on üldsusele kättesaadav KSOSi lähtekood, mida USA kaitseministeerium toetas 1970. aastate lõpus ja 1980. aastatel. Kood on lisatud Unix Heritage Society (TUHS) arhiividesse, teatas asutaja Warren Toomey meililistis.
KSOS ehk Kernelized Secure Operating System (varem Secure UNIX) oli Unixiga ühilduv operatsioonisüsteem, mis pidi pakkuma tõestatavalt turvalist keskkonda suurematele minaarvutitele. Vaatamata vanusele kõlab KSOS üllatavalt kaasaegselt — see oli kirjutatud tüübiturvalises programmeerimiskeeles Modula, mille lõi Niklaus Wirth Pascali järglasena, mitte C-keeles. Süsteem oli loodud formaalselt verifitseeritavaks ja töötas tavariistvaral.
Projekt sai alguse 1978. aastal Ford Aerospace’is. Meeskonda kuulusid Peter Neumann, kes hiljem juhtis RISKS Digestit, ja Tom Perrine, kes kirjeldas süsteemi 2002. aastal USENIXi ajakirjas. Väga vähesed operatsioonisüsteemi tuumad on formaalselt verifitseeritud — tuntumatest kaasaegsetest näidetest on seL4 mikrotuum. KSOSi ei kasutatud üksnes akadeemilises uurimistöös, vaid ka tootmiskeskkonnas PDP-11 arvutitel.