arch/powerpc/sysdev/xive/Kconfig

   1 config PPC_XIVE
   2         bool
   3         default n
   4         select PPC_SMP_MUXED_IPI
   5         select HARDIRQS_SW_RESEND
   6
   7 config PPC_XIVE_NATIVE
   8         bool
   9         default n
  10         select PPC_XIVE
  11         depends on PPC_POWERNV