Hi Marc,
On Thu, Dec 10, 2020 at 05:59:09PM +0000, Marc Zyngier wrote:
I'm always sceptical of making interrupt controllers user-selectable.
Who is going to know that they need to pick that one?
I'd be much more in favour of directly selecting this symbol
from DRM_VC4_HDMI_CEC, since there is an obvious dependency.
It's a bit weird to me that the HDMI CEC support selects it, since that
interrupt controller is external and here no matter what.
Would selecting it from the ARCH_* Kconfig option work for you?