arch/powerpc/sysdev/xics/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0
   2 config PPC_XICS
   3        def_bool n
   4        select PPC_SMP_MUXED_IPI
   5        select HARDIRQS_SW_RESEND
   6
   7 config PPC_ICP_NATIVE
   8        def_bool n
   9
  10 config PPC_ICP_HV
  11        def_bool n
  12
  13 config PPC_ICS_RTAS
  14        def_bool n
  15