984639039f
The current name is inconsistent with SPL which uses CONFIG_SPL_TEXT_BASE and this makes it imposible to use CONFIG_VAL(). Rename it to resolve this problem. Signed-off-by: Simon Glass <sjg@chromium.org>
64 lines
1.6 KiB
Plaintext
64 lines
1.6 KiB
Plaintext
CONFIG_ARM=y
|
|
CONFIG_SYS_L2CACHE_OFF=y
|
|
CONFIG_ARCH_TEGRA=y
|
|
CONFIG_TEXT_BASE=0x80110000
|
|
CONFIG_SYS_MALLOC_F_LEN=0x2000
|
|
CONFIG_NR_DRAM_BANKS=2
|
|
CONFIG_ENV_SIZE=0x2000
|
|
CONFIG_ENV_OFFSET=0xFFFFDE00
|
|
CONFIG_DEFAULT_DEVICE_TREE="tegra30-colibri"
|
|
CONFIG_SPL_TEXT_BASE=0x80108000
|
|
CONFIG_SYS_PROMPT="Colibri T30 # "
|
|
CONFIG_TEGRA30=y
|
|
CONFIG_TARGET_COLIBRI_T30=y
|
|
CONFIG_SYS_LOAD_ADDR=0x81000000
|
|
CONFIG_OF_SYSTEM_SETUP=y
|
|
CONFIG_CONSOLE_MUX=y
|
|
CONFIG_SYS_STDIO_DEREGISTER=y
|
|
# CONFIG_DISPLAY_BOARDINFO is not set
|
|
CONFIG_DISPLAY_BOARDINFO_LATE=y
|
|
CONFIG_ARCH_MISC_INIT=y
|
|
CONFIG_SPL_FOOTPRINT_LIMIT=y
|
|
CONFIG_SPL_MAX_FOOTPRINT=0x8000
|
|
# CONFIG_SPL_SHARES_INIT_SP_ADDR is not set
|
|
CONFIG_SPL_STACK=0x800ffffc
|
|
CONFIG_SYS_SPL_MALLOC=y
|
|
CONFIG_HAS_CUSTOM_SPL_MALLOC_START=y
|
|
CONFIG_CUSTOM_SYS_SPL_MALLOC_ADDR=0x80090000
|
|
CONFIG_SYS_SPL_MALLOC_SIZE=0x10000
|
|
CONFIG_SYS_MAXARGS=32
|
|
CONFIG_SYS_CBSIZE=1024
|
|
CONFIG_SYS_PBSIZE=1055
|
|
# CONFIG_CMD_IMI is not set
|
|
CONFIG_CMD_GPIO=y
|
|
CONFIG_CMD_I2C=y
|
|
CONFIG_CMD_MMC=y
|
|
CONFIG_CMD_USB=y
|
|
CONFIG_CMD_USB_MASS_STORAGE=y
|
|
# CONFIG_CMD_NFS is not set
|
|
CONFIG_CMD_EXT4_WRITE=y
|
|
# CONFIG_SPL_DOS_PARTITION is not set
|
|
# CONFIG_SPL_EFI_PARTITION is not set
|
|
CONFIG_OF_LIVE=y
|
|
CONFIG_ENV_OVERWRITE=y
|
|
CONFIG_SYS_RELOC_GD_ENV_ADDR=y
|
|
CONFIG_SYS_MMC_ENV_PART=1
|
|
CONFIG_IP_DEFRAG=y
|
|
CONFIG_TFTP_BLOCKSIZE=16352
|
|
CONFIG_TFTP_TSIZE=y
|
|
CONFIG_SPL_DM=y
|
|
CONFIG_SYS_I2C_TEGRA=y
|
|
CONFIG_SYS_NS16550=y
|
|
CONFIG_USB=y
|
|
CONFIG_USB_EHCI_HCD=y
|
|
CONFIG_USB_EHCI_TEGRA=y
|
|
CONFIG_USB_HOST_ETHER=y
|
|
CONFIG_USB_ETHER_ASIX=y
|
|
CONFIG_USB_GADGET=y
|
|
CONFIG_USB_GADGET_MANUFACTURER="Toradex"
|
|
CONFIG_USB_GADGET_VENDOR_NUM=0x1b67
|
|
CONFIG_USB_GADGET_PRODUCT_NUM=0x4000
|
|
CONFIG_CI_UDC=y
|
|
CONFIG_USB_GADGET_DOWNLOAD=y
|
|
CONFIG_OF_LIBFDT_OVERLAY=y
|