39a40,41
> #include "dev/arm/rtc_pl031.hh"
>
46d47
< #include "dev/arm/rtc_pl031.hh"