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