From 178116c97834688e74dfa4c010890c3280e6fb2c Mon Sep 17 00:00:00 2001
From: Mark Pizzolato <mark@infocomm.com>
Date: Tue, 28 Oct 2014 10:06:30 -0700
Subject: [PATCH] PDP11: Added proper boot support for PDP11 devices when
 booting via a Remote Console Master session

---
 PDP11/pdp11_cpu.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PDP11/pdp11_cpu.c b/PDP11/pdp11_cpu.c
index 968519d9..e5458d09 100644
--- a/PDP11/pdp11_cpu.c
+++ b/PDP11/pdp11_cpu.c
@@ -3085,7 +3085,7 @@ return FALSE;
 
 void cpu_set_boot (int32 pc)
 {
-saved_PC = pc;
+saved_PC = PC = pc;
 PSW = 000340;
 return;
 }