forked from ~ljy/RK3588_XEN

blame | history | raw
hc
2024-03-25 edb30157bad0c0001c32b854271ace01d3b9a16a 
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