# SPDX-License-Identifier: GPL-2.0 config [31mCONFIG_PPC_XICS[0m def_bool n select [31mCONFIG_PPC_SMP_MUXED_IPI[0m select [31mCONFIG_HARDIRQS_SW_RESEND[0m config [31mCONFIG_PPC_ICP_NATIVE[0m def_bool n config [31mCONFIG_PPC_ICP_HV[0m def_bool n config [31mCONFIG_PPC_ICS_RTAS[0m def_bool n |