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