> > 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?
