GNU Linux-libre 5.10.153-gnu1
[releases.git] / drivers / firmware / psci / Makefile
1 # SPDX-License-Identifier: GPL-2.0
2 #
3 obj-$(CONFIG_ARM_PSCI_FW)       += psci.o
4 obj-$(CONFIG_ARM_PSCI_CHECKER)  += psci_checker.o