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