From 0d91e2568a414fb3de6052a877de621039b39c0b Mon Sep 17 00:00:00 2001
From: Lars Brinkhoff <lars@nocrew.org>
Date: Sun, 15 Mar 2020 21:21:31 +0100
Subject: [PATCH] Remove unused devices from the GT40 simulator.

These devices doesn't exist on a real GT40.
---
 build/pdp10-ka/gt40 | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/build/pdp10-ka/gt40 b/build/pdp10-ka/gt40
index 2df68aa5..9823605c 100644
--- a/build/pdp10-ka/gt40
+++ b/build/pdp10-ka/gt40
@@ -1,4 +1,15 @@
 set cpu 11/05
+set rha disabled
+set lpt disabled
+set dz disabled
+set rk disabled
+set rl disabled
+set hk disabled
+set rx disabled
+set rp disabled
+set rq disabled
+set tm disabled
+set tq disabled
 set cpu 16k
 set tti 8b
 set dli enabled