Я детально не вникал, но, вообще-то, вроде-бы, все эти дела лежат в драйвере PI.SYS, а RT-11 собирается обычная.