xref: /optee_os/core/lib/scmi-server/conf-optee-stm32mp1.mk (revision fe2fd3ff46c0bada3dc9b2ae8c1025bfd8f57f3f)