# SPDX-License-Identifier: GPL-2.0 config [31mCONFIG_PPC_XIVE[0m bool select [31mCONFIG_PPC_SMP_MUXED_IPI[0m select [31mCONFIG_HARDIRQS_SW_RESEND[0m config [31mCONFIG_PPC_XIVE_NATIVE[0m bool select [31mCONFIG_PPC_XIVE[0m depends on [31mCONFIG_PPC_POWERNV[0m config [31mCONFIG_PPC_XIVE_SPAPR[0m bool select [31mCONFIG_PPC_XIVE[0m |