On Tue, Feb 09, 2016 at 11:19:20AM +0100, Jean Delvare wrote: > The Technologic Systems TS-4800 is an i.MX515 board, so its drivers > are useless unless building a SOC_IMX51 kernel, except for build > testing purposes. > > Signed-off-by: Jean Delvare <[email protected]> > Cc: Damien Riegel <[email protected]> > Cc: Thomas Gleixner <[email protected]> > Cc: Jason Cooper <[email protected]> > Cc: Marc Zyngier <[email protected]> > --- > drivers/irqchip/Kconfig | 1 + > 1 file changed, 1 insertion(+)
Applied to irqchip/core. Once we see this IP appear outside of IMX51, we can redo the Kconfig symbols based on what we see. thx, Jason.

