1# SPDX-License-Identifier: GPL-2.0-only
2config ARM_SCMI_PERF_DOMAIN
3	tristate "SCMI performance domain driver"
4	depends on ARM_SCMI_PROTOCOL || (COMPILE_TEST && OF)
5	default y
6	select PM_GENERIC_DOMAINS if PM
7	help
8	  This enables support for the SCMI performance domains which can be
9	  enabled or disabled via the SCP firmware.
10
11	  This driver can also be built as a module. If so, the module will be
12	  called scmi_perf_domain.
13
14config ARM_SCMI_POWER_DOMAIN
15	tristate "SCMI power domain driver"
16	depends on ARM_SCMI_PROTOCOL || (COMPILE_TEST && OF)
17	default y
18	select PM_GENERIC_DOMAINS if PM
19	help
20	  This enables support for the SCMI power domains which can be
21	  enabled or disabled via the SCP firmware
22
23	  This driver can also be built as a module. If so, the module
24	  will be called scmi_pm_domain. Note this may needed early in boot
25	  before rootfs may be available.
26
27config ARM_SCPI_POWER_DOMAIN
28	tristate "SCPI power domain driver"
29	depends on ARM_SCPI_PROTOCOL || (COMPILE_TEST && OF)
30	default y
31	select PM_GENERIC_DOMAINS if PM
32	help
33	  This enables support for the SCPI power domains which can be
34	  enabled or disabled via the SCP firmware
35
36	  This driver can also be built as a module. If so, the module will be
37	  called scpi_pm_domain.
38