Sign in
◑
Theme
kernel
/
pub
/
scm
/
linux
/
kernel
/
git
/
kees
/
linux.git
/
b8303ae58235ecc1ebdf657069ea71a0807914ad
/
.
/
drivers
/
firmware
/
psci
/
Makefile
blob: 1956b882470f1997836db7cfe1b8b0550b2ce039 [
file
]
# SPDX-License-Identifier: GPL-2.0
#
obj
-
$
(
CONFIG_ARM_PSCI_FW
)
+=
psci
.
o
obj
-
$
(
CONFIG_ARM_PSCI_CHECKER
)
+=
psci_checker
.
o
