[Tee-dev] Query regarding ARM PSCI interface enablement in OP-TEE.

Hi OP-TEE Experts,

We are trying to enable ARM PSCI interface in OP-TEE for ARMv7 based Freescale LS1021a SoC (Platform - ls).

If anyone has done some prior work or working on how to enable ARM PSCI interface in OP-TEE, kindly share it.

Also if someone can clarify the standard way to enable ARM PSCI interface for turning-on/off secondary CPUs, it would be very much appreciated.

Thanks and regards, Sumit