Only on topic regarding interesting 1970s OS design, but does anybody have a reference with a similar level of technical detail to this one, but for the ICL (now Fujitsu) VME operating system?