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