xref: /openbmc/linux/arch/powerpc/sysdev/xive/Kconfig (revision e639c869)
1# SPDX-License-Identifier: GPL-2.0
2config PPC_XIVE
3	bool
4	default n
5	select PPC_SMP_MUXED_IPI
6	select HARDIRQS_SW_RESEND
7
8config PPC_XIVE_NATIVE
9	bool
10	default n
11	select PPC_XIVE
12	depends on PPC_POWERNV
13
14config PPC_XIVE_SPAPR
15	bool
16	default n
17	select PPC_XIVE
18