blob: 37188527a5c762023f630970c7cf0b669a702fba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
# SPDX-License-Identifier: BSD-2-Clause
menu "IPI Device Support"
config FDT_IPI
bool "FDT based ipi drivers"
depends on FDT
default n
if FDT_IPI
config FDT_IPI_MSWI
bool "ACLINT MSWI FDT driver"
select IPI_MSWI
default n
config FDT_IPI_PLICSW
bool "Andes PLICSW FDT driver"
select IPI_PLICSW
default n
endif
config IPI_MSWI
bool "ACLINT MSWI support"
default n
config IPI_PLICSW
bool "Andes PLICSW support"
default n
endmenu
|