[PATCH v2 0/3] OpenSBI IPI device rating

[Anup Patel]

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_v2 branch at:
https://github.com/avpatel/opensbi.git

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                    |  5 ++-
 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                        | 46 +++++++++++++++++-------
 lib/utils/ipi/aclint_mswi.c              |  1 +
 lib/utils/ipi/andes_plicsw.c             |  1 +
 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                |  1 +
 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, 91 insertions(+), 150 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

-- 
2.43.0