Sign in
zircon-guest
/
third_party
/
linux
/
23886ec19a710a724f563b2fbc92017bc30f5160
/
.
/
arch
/
powerpc
/
sysdev
/
xics
/
Kconfig
blob: 86fee428f5f1ccfd3943f415f2c49ba75e236ab3 [
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