xref: /linux/arch/powerpc/sysdev/xics/Kconfig (revision 71e2f4dd5a65bd8dbca0b77661e75eea471168f8)
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