diff options
Diffstat (limited to 'src/dev/arm/kmi.cc')
-rw-r--r-- | src/dev/arm/kmi.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dev/arm/kmi.cc b/src/dev/arm/kmi.cc index 1b8c15b83..92b5ee8cb 100644 --- a/src/dev/arm/kmi.cc +++ b/src/dev/arm/kmi.cc @@ -43,6 +43,7 @@ #include "base/vnc/vncserver.hh" #include "base/trace.hh" +#include "debug/Pl050.hh" #include "dev/arm/amba_device.hh" #include "dev/arm/kmi.hh" #include "dev/ps2.hh" |