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