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