#
# This file is part of the coreboot project.
#
# SPDX-License-Identifier: GPL-2.0-only

ramstage-$(CONFIG_FSP_USES_MP_SERVICES_PPI) += mp_service_ppi.c