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...

What are the dependencies of the services to the platform files? For example, when is nv_counters used?

Reinhard