https://123dok.net/document/q7wop99d-secure-resource-sharing-for-embedded-protected-module-architectures.html