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