1# SPDX-License-Identifier: GPL-2.0-only 2 3ramstage-$(CONFIG_MP_SERVICES_PPI) += mp_service_ppi.c 4ramstage-$(CONFIG_MP_SERVICES_PPI_V1) += mp_service1.c 5ramstage-$(CONFIG_MP_SERVICES_PPI_V2) += mp_service2.c 6ramstage-$(CONFIG_MP_SERVICES_PPI_V2_NOOP) += mp_service2_noop.c 7