drivers/interrupt_controller/Kconfig.wch_pfic

# Copyright (c) 2024 Michael Hope
# SPDX-License-Identifier: Apache-2.0

config WCH_PFIC
	bool "WCH Programmable Fast Interrupt Controller (PFIC)"
	default y
	depends on DT_HAS_WCH_PFIC_ENABLED
	help
	  Interrupt controller for WCH PFIC.