1# SPDX-License-Identifier: GPL-2.0 2 3menu "VE Drivers" 4 5source "$(BSP_TOP)drivers/ve/cedar-ve/Kconfig" 6source "$(BSP_TOP)drivers/ve/google-ve/Kconfig" 7 8endmenu 9