From 20de3bb759a36dbffed10adae2159e376b7cb68c Mon Sep 17 00:00:00 2001 From: Andreas Sandberg Date: Thu, 20 Jul 2017 11:58:06 +0100 Subject: dev: Move generic serial devices to src/dev/serial Change-Id: I104227fc460f8b561e7375b329a541c1fce881b2 Signed-off-by: Andreas Sandberg Reviewed-by: Curtis Dunham Reviewed-on: https://gem5-review.googlesource.com/4291 Reviewed-by: Gabe Black --- src/dev/arm/vgic.cc | 1 - 1 file changed, 1 deletion(-) (limited to 'src/dev/arm/vgic.cc') diff --git a/src/dev/arm/vgic.cc b/src/dev/arm/vgic.cc index cc8ad7788..529520403 100644 --- a/src/dev/arm/vgic.cc +++ b/src/dev/arm/vgic.cc @@ -43,7 +43,6 @@ #include "debug/Checkpoint.hh" #include "debug/VGIC.hh" #include "dev/arm/base_gic.hh" -#include "dev/terminal.hh" #include "mem/packet.hh" #include "mem/packet_access.hh" -- cgit v1.2.3