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