CONFIG_ARCH_TEGRA is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
NVIDIA Tegra
modulename: irq-tegra.ko
configname: CONFIG_ARCH_TEGRA
ARM system type
└─>NVIDIA Tegra
In linux kernel since version 2.6.36 (release Date: 2010-10-20)
This enables support for NVIDIA Tegra based systems (Tegra APX,
Tegra 6xx and Tegra 2 series).
Tegra 6xx and Tegra 2 series).
selects
CONFIG_CLKDEV_LOOKUPCONFIG_CLKSRC_MMIO
CONFIG_GENERIC_TIME
CONFIG_GENERIC_CLOCKEVENTS
CONFIG_GENERIC_GPIO
CONFIG_HAVE_CLK
CONFIG_HAVE_SCHED_CLOCK
CONFIG_ARCH_HAS_BARRIERS
CONFIG_ARCH_HAS_CPUFREQ
CONFIG_ARCH_SUPPORTS_TRUSTED_FOUNDATIONS
CONFIG_ARM_AMBA
CONFIG_ARM_GIC
CONFIG_GPIOLIB
CONFIG_HAVE_ARM_SCU
CONFIG_HAVE_ARM_TWD
CONFIG_PINCTRL
CONFIG_PM_OPP
CONFIG_ARCH_HAS_RESET_CONTROLLER
CONFIG_RESET_CONTROLLER
CONFIG_SOC_BUS
CONFIG_ZONE_DMA
CONFIG_ARCH_DMA_ADDR_T_64BIT