platform: add a vendor_ext_provider override

Heiko Stuebner opensbi 1 version Apr 1, 2022 New

Get series with b4

b4 am [email protected]

Versions newest first

#	Subject and files	Size	Replies	Applied
1/2	platform: add a vendor_ext_provider override`platform/generic/include/platform_override.h` `platform/generic/platform.c`	+18 -0	1 reply
2/2	platform: add thead-c9xx specific platform-overrides`lib/sbi/sbi_ecall_pmu.c` `platform/generic/objects.mk` `platform/generic/platform.c` +1 more	+101 -0	2 replies

No Reviewed-by, Acked-by or Tested-by trailers for v1 yet.