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