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