1# SPDX-License-Identifier: GPL-2.0
 2config PPC_XICS
 3	def_bool n
 4	select PPC_SMP_MUXED_IPI
 5	select HARDIRQS_SW_RESEND
 6
 7config PPC_ICP_NATIVE
 8	def_bool n
 9
10config PPC_ICP_HV
11	def_bool n
12
13config PPC_ICS_RTAS
14	def_bool n
15
16config PPC_ICS_NATIVE
17	def_bool n

 1# SPDX-License-Identifier: GPL-2.0
 2config PPC_XICS
 3	def_bool n
 4	select PPC_SMP_MUXED_IPI
 5	select HARDIRQS_SW_RESEND
 6
 7config PPC_ICP_NATIVE
 8	def_bool n
 9
10config PPC_ICP_HV
11	def_bool n
12
13config PPC_ICS_RTAS
14	def_bool n