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

ramstage-$(CONFIG_DRIVERS_TI_TPS65913_RTC) += tps65913rtc.c