On Mon, 26 Mar 2018, Marc Zyngier wrote:
Odd. I don't see how you can avoid this failure at link time...
yeah, I must have only compiled drivers/ or drivers/irqchip/. Had I done a full build, I would have realized that I left out all the static definitions Peter pointed out. Sending a v2. Thanks, Davidlohr

