I am NOT familiar with the ATEX hardware configurations.
ATEX, in Bedford, MA used standard DEC machines and designed their own memory mapping hardware.
They wrote their own software. Where DEC designed eight memor mapping registers, ATEX machines had
256 sets of eight memory mapping...