forked from ~ljy/RK3588_XEN

blame | history | raw
hc
2024-08-13 72be3801e63d82671c9d90577a9efb3126a6aa37 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

# SPDX-License-Identifier: GPL-2.0


config PPC_XIVE


    bool


    select PPC_SMP_MUXED_IPI


    select HARDIRQS_SW_RESEND


 


config PPC_XIVE_NATIVE


    bool


    select PPC_XIVE


    depends on PPC_POWERNV


 


config PPC_XIVE_SPAPR


    bool


    select PPC_XIVE