TUNIS (Toronto University System) is a Unix-likeoperating system, developed at the University of Toronto in the early 1980s. TUNIS was a portable operating system compatible with Unix V7, but with a completely redesigned kernel, written in Concurrent Euclid. Programs that ran under Unix V7 could be run under TUNIS with no modification.
TUNIS was designed for teaching, and was intended to provide a model for the design of well-structured, highly portable, easily understood Unix-likeoperating systems. It made extensive use of Concurrent Euclid modules to isolate machine dependencies and provide a clean internal structure through information hiding. TUNIS also made use of Concurrent Euclid's built-in processes and synchronization features to make it easy to understand and maintain.
Ewens, P A; Holt, Richard C; Funkenhauser, M J; Blythe, D B (January 1986). "The TUNIS report: Design of a Unix-compatible operating system". Annual Progress Report. Computer Systems Research Institute, University of Toronto. ISSN0316-6295.