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.
Idris war binärkompatibel mit UNIX V6 auf der PDP-11, aber es konnte auch auf Systemen ohne Speicherverwaltung (DEC LSI-11 oder PDP-11/23) arbeiten.