[PATCH 0/3] Add RPMI/MPXY voltage, device power and performance service

[Joshua Yeong]

Add RPMI/MPXY driver for voltage, device power and performance group based on
RPMI specification v1.0.

https://github.com/riscv-non-isa/riscv-rpmi/releases/download/v1.0/riscv-rpmi.pdf

Joshua Yeong (3):
  lib: utils: Add MPXY RPMI mailbox driver for voltage
  lib: utils: Add MPXY RPMI mailbox driver for device power
  lib: utils: Add MPXY RPMI mailbox driver for performance

 include/sbi_utils/mailbox/rpmi_msgprot.h    | 244 ++++++++++++++++++++
 lib/utils/mpxy/Kconfig                      |  12 +
 lib/utils/mpxy/fdt_mpxy_rpmi_device_power.c |  55 +++++
 lib/utils/mpxy/fdt_mpxy_rpmi_performance.c  |  90 ++++++++
 lib/utils/mpxy/fdt_mpxy_rpmi_voltage.c      |  76 ++++++
 lib/utils/mpxy/objects.mk                   |   9 +
 platform/generic/configs/defconfig          |   3 +
 7 files changed, 489 insertions(+)
 create mode 100644 lib/utils/mpxy/fdt_mpxy_rpmi_device_power.c
 create mode 100644 lib/utils/mpxy/fdt_mpxy_rpmi_performance.c
 create mode 100644 lib/utils/mpxy/fdt_mpxy_rpmi_voltage.c

--
2.43.0