# SPDX-License-Identifier: GPL-2.0-only
obj-$(CONFIG_ARCH_MILBEAUT) += pm_domains.o
obj-$(CONFIG_SMP) += platsmp.o
obj-$(CONFIG_MACH_MILBEAUT_EVB) += milbeaut_evb.o
obj-$(CONFIG_PM_WARP) += snapshot.o
