Concepts associés (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

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.