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