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