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