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