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