Files
opensbi/lib/utils/mpxy/Kconfig
Joshua Yeong a28e51016e lib: utils: Add MPXY RPMI mailbox driver for device power
Add MPXY RPMI mailbox driver for device power.

Signed-off-by: Joshua Yeong <joshua.yeong@starfivetech.com>
Reviewed-by: Rahul Pathak <rpathak@ventanamicro.com>
Link: https://lore.kernel.org/r/20251013153138.1574512-3-joshua.yeong@starfivetech.com
Signed-off-by: Anup Patel <anup@brainfault.org>
2025-11-04 10:34:01 +05:30

36 lines
676 B
Plaintext

# SPDX-License-Identifier: BSD-2-Clause
menu "MPXY Device Support"
config FDT_MPXY
bool "FDT based MPXY drivers"
depends on FDT
default n
config FDT_MPXY_RPMI_MBOX
bool "MPXY drivers as RPMI mailbox client"
depends on FDT_MAILBOX && FDT_MPXY
default n
if FDT_MPXY_RPMI_MBOX
config FDT_MPXY_RPMI_CLOCK
bool "MPXY driver for RPMI clock service group"
default n
config FDT_MPXY_RPMI_SYSMSI
bool "MPXY driver for RPMI system MSI service group"
default n
config FDT_MPXY_RPMI_VOLTAGE
bool "MPXY driver for RPMI voltage service group"
default n
config FDT_MPXY_RPMI_DEVICE_POWER
bool "MPXY driver for RPMI device power service group"
default n
endif
endmenu