Sign in
zircon-guest
/
third_party
/
linux
/
abf914eefa19098727455f11acd895c57621a822
/
.
/
arch
/
powerpc
/
sysdev
/
xive
/
Kconfig
blob: 70ee976e1de075e720706c85555e5237216651ff [
file
] [
log
] [
blame
]
# SPDX-License-Identifier: GPL-2.0
config PPC_XIVE
bool
default
n
select
PPC_SMP_MUXED_IPI
select
HARDIRQS_SW_RESEND
config PPC_XIVE_NATIVE
bool
default
n
select
PPC_XIVE
depends on PPC_POWERNV
config PPC_XIVE_SPAPR
bool
default
n
select
PPC_XIVE