# SPDX-License-Identifier: GPL-2.0-only

ramstage-$(CONFIG_MP_SERVICES_PPI) += mp_service_ppi.c