xref: /linux/drivers/cache/Kconfig (revision 79de4d9ade7411ffdddf0b69c87020311731d155)
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