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.