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