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