arch/powerpc/sysdev/xive/Kconfig

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