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