Sign in
cos
/
third_party
/
kernel
/
a8cd334bb0b7e0adc4b55b99226bb29edba3722e
/
.
/
drivers
/
firmware
/
psci
/
Makefile
blob: 1956b882470f1997836db7cfe1b8b0550b2ce039 [
file
] [
log
] [
blame
]
# SPDX-License-Identifier: GPL-2.0
#
obj
-
$
(
CONFIG_ARM_PSCI_FW
)
+=
psci
.
o
obj
-
$
(
CONFIG_ARM_PSCI_CHECKER
)
+=
psci_checker
.
o