45c45
< #include "dev/arm/gic.hh"
---
> #include "dev/arm/base_gic.hh"