kernelconfig_penguin
default or selected kernelversion does not have config value CONFIG_VERSATILE_FPGA_IRQ.
Result is shown for kernelversion 6.0-rc7
selects
CONFIG_IRQ_DOMAIN


CONFIG_VERSATILE_FPGA_IRQ (not configurable)

modulename: irq-versatile-fpga.ko
configname: CONFIG_VERSATILE_FPGA_IRQ

Linux Kernel Configuration
└─> Device Drivers
└─> IRQ chip support
└─> VERSATILE_FPGA_IRQ


source code:


drivers/irqchip/irq-versatile-fpga.c