d021e94210
This converts the following to Kconfig: CONFIG_BOOTP_BOOTPATH CONFIG_BOOTP_DNS CONFIG_BOOTP_GATEWAY CONFIG_BOOTP_HOSTNAME CONFIG_BOOTP_PXE CONFIG_BOOTP_SUBNETMASK CONFIG_CMDLINE_EDITING CONFIG_AUTO_COMPLETE CONFIG_SYS_LONGHELP CONFIG_SUPPORT_RAW_INITRD CONFIG_ENV_VARS_UBOOT_CONFIG Signed-off-by: Adam Ford <aford173@gmail.com> [trini: Re-run the migration] Signed-off-by: Tom Rini <trini@konsulko.com>
66 lines
1.6 KiB
Plaintext
66 lines
1.6 KiB
Plaintext
CONFIG_ARM=y
|
|
CONFIG_ARCH_MX6=y
|
|
CONFIG_SYS_TEXT_BASE=0x17800000
|
|
CONFIG_SPL_GPIO_SUPPORT=y
|
|
CONFIG_SPL_LIBCOMMON_SUPPORT=y
|
|
CONFIG_SPL_LIBGENERIC_SUPPORT=y
|
|
CONFIG_TARGET_COLIBRI_IMX6=y
|
|
CONFIG_SPL_MMC_SUPPORT=y
|
|
CONFIG_SPL_SERIAL_SUPPORT=y
|
|
CONFIG_CMD_HDMIDETECT=y
|
|
CONFIG_ENV_VARS_UBOOT_CONFIG=y
|
|
CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg,MX6DL"
|
|
CONFIG_BOOTDELAY=1
|
|
# CONFIG_CONSOLE_MUX is not set
|
|
CONFIG_SUPPORT_RAW_INITRD=y
|
|
# CONFIG_DISPLAY_BOARDINFO is not set
|
|
CONFIG_BOARD_EARLY_INIT_F=y
|
|
CONFIG_SPL=y
|
|
CONFIG_SPL_DMA_SUPPORT=y
|
|
CONFIG_SPL_I2C_SUPPORT=y
|
|
CONFIG_SPL_USB_HOST_SUPPORT=y
|
|
CONFIG_SPL_USB_GADGET_SUPPORT=y
|
|
CONFIG_SPL_USB_SDP_SUPPORT=y
|
|
CONFIG_HUSH_PARSER=y
|
|
CONFIG_SYS_PROMPT="Colibri iMX6 # "
|
|
CONFIG_CMD_BOOTZ=y
|
|
# CONFIG_CMD_ELF is not set
|
|
# CONFIG_CMD_IMI is not set
|
|
# CONFIG_CMD_XIMG is not set
|
|
CONFIG_CMD_ASKENV=y
|
|
CONFIG_CRC32_VERIFY=y
|
|
CONFIG_CMD_MEMTEST=y
|
|
CONFIG_CMD_DFU=y
|
|
CONFIG_CMD_GPIO=y
|
|
CONFIG_CMD_I2C=y
|
|
CONFIG_CMD_MMC=y
|
|
CONFIG_CMD_USB=y
|
|
CONFIG_CMD_USB_SDP=y
|
|
CONFIG_CMD_USB_MASS_STORAGE=y
|
|
CONFIG_CMD_DHCP=y
|
|
CONFIG_CMD_MII=y
|
|
CONFIG_CMD_PING=y
|
|
CONFIG_CMD_BMP=y
|
|
CONFIG_CMD_CACHE=y
|
|
CONFIG_CMD_EXT4=y
|
|
CONFIG_CMD_FAT=y
|
|
CONFIG_CMD_FS_GENERIC=y
|
|
CONFIG_ENV_IS_IN_MMC=y
|
|
CONFIG_PHYLIB=y
|
|
CONFIG_PHY_MICREL=y
|
|
CONFIG_USB=y
|
|
CONFIG_USB_STORAGE=y
|
|
CONFIG_USB_KEYBOARD=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_USB_HOST_ETHER=y
|
|
CONFIG_VIDEO=y
|
|
CONFIG_FAT_WRITE=y
|
|
CONFIG_OF_LIBFDT=y
|
|
CONFIG_OF_LIBFDT_OVERLAY=y
|
|
# CONFIG_EFI_LOADER is not set
|