ARK-OS/arkos/kernel/drivers/soc/xilinx/Kconfig

# SPDX-License-Identifier: GPL-2.0
menu "Xilinx SoC drivers"

config ZYNQMP_POWER
	bool "Enable Xilinx Zynq MPSoC Power Management driver"
	depends on PM && ZYNQMP_FIRMWARE
	default y
	select MAILBOX
	select ZYNQMP_IPI_MBOX
	help
	  Say yes to enable power management support for ZyqnMP SoC.
	  This driver uses firmware driver as an interface for power
	  management request to firmware. It registers isr to handle
	  power management callbacks from firmware. It registers mailbox client
	  to handle power management callbacks from firmware.

	  If in doubt, say N.

config XLNX_EVENT_MANAGER
	bool "Enable Xilinx Event Management Driver"
	depends on ZYNQMP_FIRMWARE
	default ZYNQMP_FIRMWARE
	help
	  Say yes to enable event management support for Xilinx.
	  This driver uses firmware driver as an interface for event/power
	  management request to firmware.

	  If in doubt, say N.
endmenu