# SPDX-License-Identifier: BSD-2-Clause

menu "Interrupt Controller Support"

config FDT_IRQCHIP
	bool "FDT based interrupt controller drivers"
	depends on FDT
	default n

if FDT_IRQCHIP

config FDT_IRQCHIP_APLIC
	bool "Advanced Platform Level Interrupt Controller (APLIC) FDT driver"
	select IRQCHIP_APLIC
	default n

config FDT_IRQCHIP_IMSIC
	bool "Incoming Message Signalled Interrupt Controller (IMSIC) FDT driver"
	select IRQCHIP_IMSIC
	default n

config FDT_IRQCHIP_PLIC
	bool "Platform Level Interrupt Controller (PLIC) FDT driver"
	select IRQCHIP_PLIC
	default n

endif

config IRQCHIP_APLIC
	bool "Advanced Platform Level Interrupt Controller (APLIC) support"
	default n

config IRQCHIP_IMSIC
	bool "Incoming Message Signalled Interrupt Controller (IMSIC) support"
	default n

config IRQCHIP_PLIC
	bool "Platform Level Interrupt Controller (PLIC) support"
	default n

endmenu