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