# SPDX-License-Identifier: GPL-2.0-only

config RISCV_RPMI_DEVICE_POWER
	bool "RISC-V RPMI Based Device Power driver"
	depends on RISCV || COMPILE_TEST
	depends on MAILBOX
	depends on PM
	default RISCV
	select PM_GENERIC_DOMAINS
	help
	  Support for device power domains based on the device power service
	  group defined by the RISC-V platform management interface (RPMI)
	  specification. The power domains advertised by the platform
	  microcontroller are registered as generic power domains, so that
	  devices can reference them through the "power-domains" property.