3 CONFIG_SYS_TEXT_BASE=0x17800000
4 CONFIG_SPL_GPIO_SUPPORT=y
5 CONFIG_SPL_LIBCOMMON_SUPPORT=y
6 CONFIG_SPL_LIBGENERIC_SUPPORT=y
7 CONFIG_TARGET_GW_VENTANA=y
10 CONFIG_SPL_MMC_SUPPORT=y
11 CONFIG_SPL_SERIAL_SUPPORT=y
12 CONFIG_NR_DRAM_BANKS=1
13 CONFIG_SPL_STACK_R_ADDR=0x18000000
15 CONFIG_CMD_HDMIDETECT=y
18 CONFIG_OF_BOARD_SETUP=y
19 CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg"
22 CONFIG_SUPPORT_RAW_INITRD=y
24 # CONFIG_DISPLAY_BOARDINFO is not set
25 CONFIG_DISPLAY_BOARDINFO_LATE=y
26 CONFIG_BOUNCE_BUFFER=y
27 CONFIG_BOARD_EARLY_INIT_F=y
28 CONFIG_SPL_TEXT_BASE=0x00908000
29 CONFIG_SPL_BOARD_INIT=y
31 CONFIG_SPL_DMA_SUPPORT=y
32 CONFIG_SPL_I2C_SUPPORT=y
34 CONFIG_SPL_POWER_SUPPORT=y
35 CONFIG_SPL_WATCHDOG_SUPPORT=y
37 CONFIG_SYS_PROMPT="Ventana > "
39 CONFIG_CMD_SPL_WRITE_SIZE=0x20000
40 # CONFIG_CMD_FLASH is not set
46 CONFIG_CMD_USB_MASS_STORAGE=y
54 CONFIG_CMD_EXT4_WRITE=y
56 CONFIG_CMD_FS_GENERIC=y
58 CONFIG_MTDIDS_DEFAULT="nand0=nand"
59 CONFIG_MTDPARTS_DEFAULT="mtdparts=nand:16m(uboot),1m(env),-(rootfs)"
61 CONFIG_ENV_IS_IN_MMC=y
64 CONFIG_SUPPORT_EMMC_RPMB=y
65 CONFIG_SUPPORT_EMMC_BOOT=y
76 CONFIG_SYS_USB_EVENT_POLL_VIA_CONTROL_EP=y
78 CONFIG_USB_GADGET_MANUFACTURER="Gateworks"
79 CONFIG_USB_GADGET_VENDOR_NUM=0x0525
80 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
82 CONFIG_USB_GADGET_DOWNLOAD=y
85 CONFIG_USB_HOST_ETHER=y
86 CONFIG_USB_ETHER_ASIX=y
87 CONFIG_USB_ETHER_SMSC95XX=y
90 # CONFIG_VIDEO_SW_CURSOR is not set
92 CONFIG_FDT_FIXUP_PARTITIONS=y