xref: /linux/drivers/cache/Kconfig (revision b46503068cb9ed63ff1d8250f143354ead0b16eb)
1# SPDX-License-Identifier: GPL-2.0
2menu "Cache Drivers"
3
4config AX45MP_L2_CACHE
5	bool "Andes Technology AX45MP L2 Cache controller"
6	depends on RISCV_DMA_NONCOHERENT
7	select RISCV_NONSTANDARD_CACHE_OPS
8	help
9	  Support for the L2 cache controller on Andes Technology AX45MP platforms.
10
11endmenu
12