Files
opensbi/lib/utils/irqchip/Kconfig
Anup Patel 0b1cf2f645 lib: utils/irqchip: Use kconfig for enabling/disabling drivers
We update irqchip drivers makefile to use kconfig for enabling/disabling
drivers. To avoid compile errors, we also enable appropriate irqchip
drivers for each platform.

Signed-off-by: Anup Patel <apatel@ventanamicro.com>
Tested-by: Andrew Jones <ajones@ventanamicro.com>
Acked-by: Atish Patra <atishp@rivosinc.com>
Tested-by: Atish Patra <atishp@rivosinc.com>
2022-08-08 09:33:52 +05:30

41 lines
869 B
Plaintext

# SPDX-License-Identifier: BSD-2-Clause
menu "Interrupt Controller Support"
config FDT_IRQCHIP
bool "FDT based interrupt controller drivers"
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