CONFIG_ARCH_TEGRA=y

CONFIG_ARCH_TEGRA_2x_SOC=y

# CONFIG_ARCH_TEGRA_3x_SOC is not set

# CONFIG_ARM_LPAE is not set

CONFIG_VFP=y

CONFIG_VFPv3=y

# CONFIG_MACH_HARMONY is not set

CONFIG_MACH_KAEN=y

CONFIG_MACH_PAZ00=y

CONFIG_MACH_SEABOARD=y

CONFIG_MACH_TEGRA_DT=y

CONFIG_MACH_TRIMSLICE=y

CONFIG_MACH_WARIO=y

CONFIG_MACH_VENTANA=y

CONFIG_TEGRA_DEBUG_UARTD=y

CONFIG_ARM_CPU_TOPOLOGY=y

CONFIG_TEGRA_PCI=y

CONFIG_TEGRA_IOMMU_GART=y

CONFIG_TEGRA_IOMMU_SMMU=y

CONFIG_I2C_TEGRA=m

# This block is temporary until we work out why the MMC modules don't work as modules

CONFIG_MMC=y

CONFIG_MMC_BLOCK=y

CONFIG_MMC_SDHCI=y

CONFIG_MMC_SDHCI_PLTFM=y

CONFIG_MMC_SDHCI_OF=y

CONFIG_MMC_SPI=y

CONFIG_MMC_SDHCI_TEGRA=y

# CONFIG_RCU_BOOST is not set

CONFIG_TEGRA_SYSTEM_DMA=y

CONFIG_TEGRA_EMC_SCALING_ENABLE=y

CONFIG_TEGRA_AHB=y

CONFIG_TEGRA20_APB_DMA=y

CONFIG_SPI_TEGRA20_SFLASH=m

CONFIG_SPI_TEGRA20_SLINK=m

CONFIG_ARM_THUMBEE=y

CONFIG_SWP_EMULATE=y

# CONFIG_CPU_BPREDICT_DISABLE is not set

CONFIG_CACHE_L2X0=y

CONFIG_ARM_ERRATA_430973=y

# CONFIG_ARM_ERRATA_458693 is not set

# CONFIG_ARM_ERRATA_460075 is not set

CONFIG_ARM_ERRATA_742230=y

# CONFIG_ARM_ERRATA_742231 is not set

CONFIG_PL310_ERRATA_588369=y

CONFIG_PL310_ERRATA_769419=y

CONFIG_ARM_ERRATA_720789=y

# CONFIG_PL310_ERRATA_727915 is not set

# CONFIG_ARM_ERRATA_743622 is not set

# CONFIG_ARM_ERRATA_751472 is not set

# CONFIG_ARM_ERRATA_753970 is not set

# CONFIG_ARM_ERRATA_754322 is not set

# CONFIG_ARM_ERRATA_754327 is not set

# CONFIG_ARM_ERRATA_764369 is not set

# CONFIG_THUMB2_KERNEL is not set

# CONFIG_NEON is not set

CONFIG_GPIO_GENERIC_PLATFORM=y

# CONFIG_GPIO_MCP23S08 is not set

# CONFIG_KEYBOARD_TEGRA is not set

CONFIG_PINCTRL_TEGRA=y

CONFIG_PINCTRL_TEGRA20=y

CONFIG_USB_EHCI_TEGRA=y

CONFIG_RTC_DRV_TEGRA=y

CONFIG_SND_SOC_TEGRA=m

CONFIG_SND_SOC_TEGRA_ALC5632=m

CONFIG_SND_SOC_TEGRA_WM8753=m

CONFIG_SND_SOC_TEGRA_WM8903=m

CONFIG_SND_SOC_TEGRA_TRIMSLICE=m

CONFIG_SND_SOC_TEGRA30_AHUB=m

CONFIG_SND_SOC_TEGRA30_I2S=m

# AC100 (PAZ00)

# CONFIG_MFD_NVEC is not set

CONFIG_MFD_TPS80031=y

CONFIG_KEYBOARD_NVEC=y

CONFIG_SERIO_NVEC_PS2=y

CONFIG_NVEC_POWER=y

CONFIG_POWER_SUPPLY=y

CONFIG_NVEC_LEDS=y

CONFIG_NVEC_PAZ00=y

# CONFIG_MFD_TPS6586X is not set

# CONFIG_RTC_DRV_TPS6586X is not set

CONFIG_PWM_TEGRA=m

CONFIG_CMA=y

# CONFIG_CMA_DEBUG is not set

CONFIG_CMA_SIZE_MBYTES=16

CONFIG_CMA_SIZE_SEL_MBYTES=y

# CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set

# CONFIG_CMA_SIZE_SEL_MIN is not set

# CONFIG_CMA_SIZE_SEL_MAX is not set

CONFIG_CMA_ALIGNMENT=8

CONFIG_CMA_AREAS=7

CONFIG_DRM_TEGRA=m

CONFIG_CPU_PM=y

CONFIG_ARM_CPU_SUSPEND=y

CONFIG_CRYPTO_DEV_TEGRA_AES=m

CONFIG_PL310_ERRATA_753970=y

CONFIG_LEDS_RENESAS_TPU=y

CONFIG_OF=y

CONFIG_SERIAL_OF_PLATFORM=y

CONFIG_OF_GPIO=y

CONFIG_OF_PCI=y

CONFIG_OF_PCI_IRQ=y

# CONFIG_DRM_TEGRA_DEBUG is not set

# CONFIG_TI_DAC7512 is not set

# CONFIG_SPI_TOPCLIFF_PCH is not set

# CONFIG_SPI_DW_PCI is not set