Corrían una versión modificada de TENEX.