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