MIT intranet (PLIC project)