diff --git a/src/dev/serial/Terminal.py b/src/dev/serial/Terminal.py
index 863c4871c1..864491617a 100644
--- a/src/dev/serial/Terminal.py
+++ b/src/dev/serial/Terminal.py
@@ -34,7 +34,6 @@ from Serial import SerialDevice
 class Terminal(SerialDevice):
     type = 'Terminal'
     cxx_header = "dev/serial/terminal.hh"
-    intr_control = Param.IntrControl(Parent.any, "interrupt controller")
     port = Param.TcpPort(3456, "listen port")
     number = Param.Int(0, "terminal number")
     output = Param.Bool(True, "Enable output dump to file")
diff --git a/src/dev/serial/terminal.hh b/src/dev/serial/terminal.hh
index 48bfc0771b..9e114de146 100644
--- a/src/dev/serial/terminal.hh
+++ b/src/dev/serial/terminal.hh
@@ -42,7 +42,6 @@
 #include "base/circlebuf.hh"
 #include "base/pollevent.hh"
 #include "base/socket.hh"
-#include "cpu/intr_control.hh"
 #include "dev/serial/serial.hh"
 #include "params/Terminal.hh"
 #include "sim/sim_object.hh"