[PATCH v3 0/3] OpenSBI IPI device rating

Anup Patel anup at brainfault.org
Mon Sep 15 21:27:19 PDT 2025


On Thu, Sep 4, 2025 at 10:54 AM Anup Patel <apatel at ventanamicro.com> wrote:
>
> Introduce IPI device rating which further allows us to remove platform
> specific IPI init and convert IPI drivers as early drivers.
>
> These patches can also found in sbi_ipi_rating_v3 branch at:
> https://github.com/avpatel/opensbi.git
>
> Changes since v2:
>  - Rename sbi_ipi_set_device() to sbi_ipi_add_device()
>    in PATCH1
>
> Changes since v1:
>  - Use linked-list in PATCH1 instead of array
>  - Initialize aclint_msw after serial port in PATCH2
>
> Anup Patel (3):
>   lib: sbi: Introduce IPI device rating
>   include: sbi: Remove platform specific IPI init
>   lib: utils/ipi: Convert IPI drivers as early drivers
>
>  include/sbi/sbi_ipi.h                    |  7 +++-
>  include/sbi/sbi_platform.h               | 17 ---------
>  include/sbi_utils/ipi/fdt_ipi.h          | 26 -------------
>  lib/sbi/sbi_init.c                       |  2 +-
>  lib/sbi/sbi_ipi.c                        | 48 +++++++++++++++++-------
>  lib/utils/ipi/aclint_mswi.c              |  3 +-
>  lib/utils/ipi/andes_plicsw.c             |  3 +-
>  lib/utils/ipi/fdt_ipi.c                  | 22 -----------
>  lib/utils/ipi/fdt_ipi_drivers.carray     |  3 --
>  lib/utils/ipi/fdt_ipi_mswi.c             |  2 +-
>  lib/utils/ipi/fdt_ipi_plicsw.c           |  2 +-
>  lib/utils/ipi/objects.mk                 |  7 +---
>  lib/utils/irqchip/imsic.c                |  3 +-
>  platform/fpga/ariane/platform.c          | 29 +++++++-------
>  platform/generic/openhwgroup/openpiton.c | 23 +++++-------
>  platform/generic/platform.c              |  2 -
>  platform/kendryte/k210/platform.c        | 17 ++++-----
>  platform/nuclei/ux600/platform.c         | 15 ++++----
>  platform/template/platform.c             | 20 ++++------
>  19 files changed, 96 insertions(+), 155 deletions(-)
>  delete mode 100644 include/sbi_utils/ipi/fdt_ipi.h
>  delete mode 100644 lib/utils/ipi/fdt_ipi.c
>  delete mode 100644 lib/utils/ipi/fdt_ipi_drivers.carray
>

Applied this series to the riscv/opensbi repo.

Thanks,
Anup



More information about the opensbi mailing list