xref: /openbmc/linux/drivers/firmware/psci/Makefile (revision c4c3c32d)
1# SPDX-License-Identifier: GPL-2.0
2#
3obj-$(CONFIG_ARM_PSCI_FW)	+= psci.o
4obj-$(CONFIG_ARM_PSCI_CHECKER)	+= psci_checker.o
5