1 # SPDX-License-Identifier: GPL-2.0 2 config PPC_XICS 3 def_bool n 4 select PPC_SMP_MUXED_IPI 5 select HARDIRQS_SW_RESEND 6 7 config PPC_ICP_NATIVE 8 def_bool n 9 10 config PPC_ICP_HV 11 def_bool n 12 13 config PPC_ICS_RTAS 14 def_bool n 15 16 config PPC_ICS_NATIVE 17 def_bool n
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.