Sign in
cos
/
third_party
/
kernel
/
2bb777b7d2bd0e9e10fa648e8f5aff88dcc5ab01
/
.
/
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