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