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