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(+) --- linux-4.5-rc3.orig/drivers/irqchip/Kconfig 2016-02-02 09:02:08.186924622 +0100 +++ linux-4.5-rc3/drivers/irqchip/Kconfig 2016-02-09 09:05:49.524721321 +0100 @@ -160,6 +160,7 @@ config TS4800_IRQ tristate "TS-4800 IRQ controller" select IRQ_DOMAIN depends on HAS_IOMEM + depends on SOC_IMX51 || COMPILE_TEST help Support for the TS-4800 FPGA IRQ controller -- Jean Delvare SUSE L3 Support
