arch/powerpc/sysdev/xive/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0
   2 config PPC_XIVE
   3         bool
   4         default n
   5         select PPC_SMP_MUXED_IPI
   6         select HARDIRQS_SW_RESEND
   7
   8 config PPC_XIVE_NATIVE
   9         bool
  10         default n
  11         select PPC_XIVE
  12         depends on PPC_POWERNV
  13
  14 config PPC_XIVE_SPAPR
  15         bool
  16         default n
  17         select PPC_XIVE