Related concepts (31)
Idris (operating system)
Idris is a discontinued multi-tasking, Unix-like, multi-user, real-time operating system released by Whitesmiths, of Westford, Massachusetts. The product was commercially available from 1979 through 1988. Idris was originally written for the PDP-11 by P. J. Plauger, who started working on Idris in August 1978. It was binary compatible with Unix V6 on PDP-11, but it could run on non-memory managed systems (like LSI-11 or PDP-11/23) as well. The kernel required 31 KB of RAM, and the C compiler (provided along with the standard V6 toolset) had more or less the same size.

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.