1# SPDX-License-Identifier: GPL-2.0
2config PPC_XIVE
3	bool
4	select PPC_SMP_MUXED_IPI
5	select HARDIRQS_SW_RESEND
6
7config PPC_XIVE_NATIVE
8	bool
9	select PPC_XIVE
10	depends on PPC_POWERNV
11
12config PPC_XIVE_SPAPR
13	bool
14	select PPC_XIVE
15