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