The PDP11 - RKO5 disk drive interface