Subject: [PATCH 1/3] ARM:lib32: add architected timer

[Renaud Barbier]

> > diff --git a/arch/arm/lib32/Makefile b/arch/arm/lib32/Makefile index
> > 82507fffc0..1be8d70c45 100644
> > --- a/arch/arm/lib32/Makefile
> > +++ b/arch/arm/lib32/Makefile
> > @@ -31,6 +31,7 @@ extra-y += barebox.lds
> >  pbl-y        += lib1funcs.o
> >  pbl-y        += ashldi3.o
> >  pbl-y        += div0.o
> > +pbl-y        += pbl.o
> 
> I think we need a CFLAGS_pbl.o := -march=armv7-a here, otherwise this would
> break builds of non-ARMv7 platforms.
> 
> See arm_architected_timer.o in drivers/clocksource. Also, perhaps you should
> rename the file to arm_architected_timer.c as well?
> 
> 
Is there a list of boards I can build barebox against to cover this case?