1# SPDX-License-Identifier: GPL-2.0
2#
3obj-$(CONFIG_ARM_PSCI_FW)	+= psci.o
4obj-$(CONFIG_ARM_PSCI_CHECKER)	+= psci_checker.o
5