[jis]

Nope. It ran an in-house OS named "Delphi". There was a PDP 11/45 at LCS and a PDP 11/40 in building 38 used to teach 6.031 (the predecessor of 6.001).

[skissane]

Is there any information available about this "Delphi" OS?

I've always found obscure historical operating systems fascinating.

[fao_]

If you're still interested you might want to ask on TUHS: https://minnie.tuhs.org/pipermail/tuhs/