diff --git a/src/dev/platform.cc b/src/dev/platform.cc
index fae1b13a11..79d95ab8ca 100644
--- a/src/dev/platform.cc
+++ b/src/dev/platform.cc
@@ -32,7 +32,6 @@
 #include "dev/platform.hh"
 
 #include "base/logging.hh"
-#include "config/the_isa.hh"
 #include "sim/sim_exit.hh"
 
 using namespace std;
diff --git a/src/dev/serial/uart8250.cc b/src/dev/serial/uart8250.cc
index 41ae3bd816..fa5313db27 100644
--- a/src/dev/serial/uart8250.cc
+++ b/src/dev/serial/uart8250.cc
@@ -39,7 +39,6 @@
 
 #include "base/inifile.hh"
 #include "base/trace.hh"
-#include "config/the_isa.hh"
 #include "debug/Uart.hh"
 #include "dev/platform.hh"
 #include "mem/packet.hh"