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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.