How to easily run a SCMI server in various Execution Environments

Under construction

Running SCMI server with OP-TEE

...

You just need to add WITH_SCMI=y option in the make command to enable the SCMI server. The whole sequence to setup a dev envoronnement environment with a SCMI server can be summarized:

...

$ repo init -u https://github.com/OPvingu-TEElinaro/manifest.git -m qemu_v8.xml -b optee-with-scmi

$ repo sync

$ cd build

$ make toolchains

...