41c41,42
< #include "base/vnc/vncinput.hh"
---
> #include "dev/arm/pl111.hh"
>
43a45
> #include "base/vnc/vncinput.hh"
48d49
< #include "dev/arm/pl111.hh"