[PATCH 2/3] lib: utils: Add MPXY RPMI mailbox driver for device power

[Rahul Pathak]

On Mon, Oct 13, 2025 at 9:02 PM Joshua Yeong
<joshua.yeong at starfivetech.com> wrote:
>
> Add MPXY RPMI mailbox driver for device power.
>
> Signed-off-by: Joshua Yeong <joshua.yeong at starfivetech.com>
> ---
>  include/sbi_utils/mailbox/rpmi_msgprot.h    | 45 +++++++++++++++++
>  lib/utils/mpxy/Kconfig                      |  4 ++
>  lib/utils/mpxy/fdt_mpxy_rpmi_device_power.c | 55 +++++++++++++++++++++
>  lib/utils/mpxy/objects.mk                   |  3 ++
>  platform/generic/configs/defconfig          |  1 +
>  5 files changed, 108 insertions(+)
>  create mode 100644 lib/utils/mpxy/fdt_mpxy_rpmi_device_power.c
>

LGTM

Reviewed-by: Rahul Pathak <rpathak at ventanamicro.com>