Sign in
gbmc
/
linux
/
bbded2a42f66cd31205bc5da314bb4008dc85c25
/
.
/
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
