append_menu "Firmware Drivers"

source "drivers/firmware/tegra/Kconfig"

endmenu