> >+ timer at d0020300 {
> >+ compatible = "marvell,timer";
>
> Is this really a generic marvell timer block?
Looking at the code below, its very similar to plat-orion timer.
I've not look at all the details, but i suspect it should not have its own timer
implementation, it should just be using plat-orion functions.
Andrew