# SPDX-License-Identifier: GPL-2.0-only
obj-$(CONFIG_ARCH_U8500)		+= ste-ux500-pm-domain.o
obj-$(CONFIG_STM32MP_PM_DOMAIN)		+= stm32mp-pm-domain.o
