Is there somewhere a high-level documentation for the platform interfaces that are here:

https://git.trustedfirmware.org/trusted-firmware-m.git/tree/platform/include?h=TF-Mv1.0

 

What are the dependencies of the services to the platform files?

For example, when is nv_counters used?

 

Reinhard