diff options
Diffstat (limited to 'lib/utils/ipi/Kconfig')
-rw-r--r-- | lib/utils/ipi/Kconfig | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/utils/ipi/Kconfig b/lib/utils/ipi/Kconfig index efc8960..3718852 100644 --- a/lib/utils/ipi/Kconfig +++ b/lib/utils/ipi/Kconfig @@ -14,10 +14,19 @@ config FDT_IPI_MSWI 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 |