xref: /openbmc/linux/arch/powerpc/sysdev/xive/Kconfig (revision 4da722ca)
1config PPC_XIVE
2	bool
3	default n
4	select PPC_SMP_MUXED_IPI
5	select HARDIRQS_SW_RESEND
6
7config PPC_XIVE_NATIVE
8	bool
9	default n
10	select PPC_XIVE
11	depends on PPC_POWERNV
12