arch/powerpc/sysdev/xics/Kconfig - kernel/common - Git at Google

 # SPDX-License-Identifier: GPL-2.0
 config PPC_XICS
        def_bool n
        select PPC_SMP_MUXED_IPI
        select HARDIRQS_SW_RESEND

 config PPC_ICP_NATIVE
        def_bool n

 config PPC_ICP_HV
        def_bool n

 config PPC_ICS_RTAS
        def_bool n
	# SPDX-License-Identifier: GPL-2.0
	config PPC_XICS
	def_bool n
	select PPC_SMP_MUXED_IPI
	select HARDIRQS_SW_RESEND

	config PPC_ICP_NATIVE
	def_bool n

	config PPC_ICP_HV
	def_bool n

	config PPC_ICS_RTAS
	def_bool n