1# SPDX-License-Identifier: GPL-2.0
2config PPC_XICS
3 def_bool n
4 select PPC_SMP_MUXED_IPI
5 select HARDIRQS_SW_RESEND
6
7config PPC_ICP_NATIVE
8 def_bool n
9
10config PPC_ICP_HV
11 def_bool n
12
13config PPC_ICS_RTAS
14 def_bool n
15
16config PPC_ICS_NATIVE
17 def_bool n
18