Sign in
linux
/
linux
/
kernel
/
git
/
gregkh
/
driver-core
/
5939224ccdcc9244ab82cdbdc9d21eb019f7db6a
/
.
/
arch
/
powerpc
/
sysdev
/
xics
/
Kconfig
blob: 304614c920aa0bc68ba2216f48477e5011016f98 [
file
] [
log
] [
blame
]
# SPDX-License-Identifier: GPL-2.0
config PPC_XICS
def_bool n
select
PPC_SMP_MUXED_IPI
select
HARDIRQS_SW_RESEND
config PPC_ICP_NATIVE
def_bool n
config PPC_ICP_HV
def_bool n
config PPC_ICS_RTAS
def_bool n