Add RPMI support in OpenSBI.
ONGOING
TBD
Rahul Pathak <rpathak@ventanamicro.com>
Subrahmanya Lingappa <slingappa@ventanamicro.com>