forked from ~ljy/RK3588_XEN

blame | history | raw
hc
2024-07-16 1704a4ce91d494c7b0698b3cd7108a624fe36288 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

# SPDX-License-Identifier: GPL-2.0


config PPC_XICS


    def_bool n


    select PPC_SMP_MUXED_IPI


    select HARDIRQS_SW_RESEND


 


config PPC_ICP_NATIVE


    def_bool n


 


config PPC_ICP_HV


    def_bool n


 


config PPC_ICS_RTAS


    def_bool n