Sign in
zircon-guest
/
third_party
/
linux
/
c3155990e210e1809cb14f87bc4b8d31ae7695a7
/
.
/
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