1CONFIG_ARM=y 2CONFIG_ARCH_TEGRA=y 3CONFIG_SYS_TEXT_BASE=0x81000100 4CONFIG_SYS_MALLOC_LEN=0x2500000 5CONFIG_NR_DRAM_BANKS=2 6CONFIG_ENV_SIZE=0x2000 7CONFIG_ENV_OFFSET=0xFFFFE000 8CONFIG_DEFAULT_DEVICE_TREE="tegra124-nyan-big" 9CONFIG_SPL_TEXT_BASE=0x80108000 10CONFIG_BOOTSTAGE_STASH_ADDR=0x83000000 11CONFIG_DEBUG_UART_BASE=0x70006000 12CONFIG_DEBUG_UART_CLOCK=408000000 13CONFIG_TEGRA124=y 14CONFIG_TARGET_NYAN_BIG=y 15CONFIG_DEBUG_UART=y 16CONFIG_SYS_LOAD_ADDR=0x82408000 17CONFIG_FIT=y 18CONFIG_FIT_BEST_MATCH=y 19CONFIG_OF_SYSTEM_SETUP=y 20CONFIG_BOOTSTAGE=y 21CONFIG_SPL_BOOTSTAGE=y 22CONFIG_BOOTSTAGE_STASH=y 23CONFIG_SYS_STDIO_DEREGISTER=y 24CONFIG_DISPLAY_BOARDINFO_LATE=y 25CONFIG_SYS_PROMPT="Tegra124 (Nyan-big) # " 26# CONFIG_CMD_IMI is not set 27CONFIG_CMD_DFU=y 28CONFIG_CMD_GPIO=y 29CONFIG_CMD_I2C=y 30CONFIG_CMD_MMC=y 31CONFIG_CMD_SPI=y 32CONFIG_CMD_USB=y 33CONFIG_CMD_USB_MASS_STORAGE=y 34# CONFIG_CMD_SETEXPR is not set 35# CONFIG_CMD_NFS is not set 36CONFIG_CMD_BMP=y 37CONFIG_CMD_CACHE=y 38CONFIG_CMD_TIME=y 39CONFIG_CMD_SOUND=y 40CONFIG_CMD_BOOTSTAGE=y 41CONFIG_CMD_PMIC=y 42CONFIG_CMD_REGULATOR=y 43CONFIG_CMD_TPM=y 44CONFIG_CMD_TPM_TEST=y 45CONFIG_CMD_EXT4_WRITE=y 46# CONFIG_SPL_DOS_PARTITION is not set 47# CONFIG_SPL_EFI_PARTITION is not set 48CONFIG_OF_LIVE=y 49CONFIG_ENV_OVERWRITE=y 50CONFIG_SYS_RELOC_GD_ENV_ADDR=y 51CONFIG_SYS_MMC_ENV_PART=2 52CONFIG_SPL_DM=y 53CONFIG_DFU_MMC=y 54CONFIG_DFU_RAM=y 55CONFIG_DFU_SF=y 56CONFIG_SYS_DFU_DATA_BUF_SIZE=0x100000 57CONFIG_SYS_DFU_MAX_FILE_SIZE=0x2000000 58CONFIG_SYS_I2C_TEGRA=y 59CONFIG_CROS_EC_KEYB=y 60CONFIG_CROS_EC=y 61CONFIG_CROS_EC_SPI=y 62CONFIG_SF_DEFAULT_SPEED=24000000 63CONFIG_SPI_FLASH_WINBOND=y 64CONFIG_DM_PMIC=y 65CONFIG_PMIC_AS3722=y 66CONFIG_DM_REGULATOR=y 67CONFIG_REGULATOR_AS3722=y 68CONFIG_DM_REGULATOR_FIXED=y 69CONFIG_PWM_TEGRA=y 70CONFIG_DEBUG_UART_SHIFT=2 71CONFIG_SYS_NS16550=y 72CONFIG_SOUND=y 73CONFIG_I2S=y 74CONFIG_I2S_TEGRA=y 75CONFIG_SOUND_MAX98090=y 76CONFIG_TEGRA114_SPI=y 77CONFIG_TPM_TIS_INFINEON=y 78CONFIG_USB=y 79CONFIG_USB_EHCI_HCD=y 80CONFIG_USB_EHCI_TEGRA=y 81CONFIG_USB_HOST_ETHER=y 82CONFIG_USB_ETHER_ASIX=y 83CONFIG_USB_GADGET=y 84CONFIG_USB_GADGET_MANUFACTURER="NVIDIA" 85CONFIG_USB_GADGET_VENDOR_NUM=0x0955 86CONFIG_USB_GADGET_PRODUCT_NUM=0x701a 87CONFIG_CI_UDC=y 88CONFIG_USB_GADGET_DOWNLOAD=y 89CONFIG_DM_VIDEO=y 90# CONFIG_VIDEO_BPP8 is not set 91# CONFIG_VIDEO_BPP32 is not set 92CONFIG_DISPLAY=y 93CONFIG_VIDEO_TEGRA124=y 94CONFIG_VIDEO_BRIDGE=y 95CONFIG_CMD_DHRYSTONE=y 96CONFIG_TPM=y 97CONFIG_ERRNO_STR=y 98