The Oryx/Pecos operating system