[ratmice]

Even before MS, there was UW/spin os, on the language modula-3, in the mid-90s http://www-spin.cs.washington.edu/