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
13 CONFIG_SPL_STACK_R_ADDR=0x18000000
14 CONFIG_CMD_HDMIDETECT=y
17 CONFIG_OF_BOARD_SETUP=y
18 CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg"
20 CONFIG_SUPPORT_RAW_INITRD=y
21 # CONFIG_DISPLAY_BOARDINFO is not set
22 CONFIG_DISPLAY_BOARDINFO_LATE=y
23 CONFIG_BOARD_EARLY_INIT_F=y
24 CONFIG_SPL_BOARD_INIT=y
26 CONFIG_SPL_DMA_SUPPORT=y
27 CONFIG_SPL_I2C_SUPPORT=y
29 CONFIG_SPL_POWER_SUPPORT=y
30 CONFIG_SPL_WATCHDOG_SUPPORT=y
32 CONFIG_SYS_PROMPT="Ventana > "
34 CONFIG_CMD_SPL_NAND_OFS=0x1100000
35 CONFIG_CMD_SPL_WRITE_SIZE=0x20000
36 # CONFIG_CMD_FLASH is not set
42 CONFIG_CMD_USB_MASS_STORAGE=y
50 CONFIG_CMD_EXT4_WRITE=y
52 CONFIG_CMD_FS_GENERIC=y
53 CONFIG_MTDIDS_DEFAULT="nand0=nand"
54 CONFIG_MTDPARTS_DEFAULT="mtdparts=nand:16m(uboot),1m(env),-(rootfs)"
56 CONFIG_ENV_IS_IN_MMC=y
59 CONFIG_SUPPORT_EMMC_RPMB=y
69 CONFIG_SYS_USB_EVENT_POLL_VIA_CONTROL_EP=y
71 CONFIG_USB_GADGET_MANUFACTURER="Gateworks"
72 CONFIG_USB_GADGET_VENDOR_NUM=0x0525
73 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
75 CONFIG_USB_GADGET_DOWNLOAD=y
78 CONFIG_USB_HOST_ETHER=y
79 CONFIG_USB_ETHER_ASIX=y
80 CONFIG_USB_ETHER_SMSC95XX=y
82 # CONFIG_VIDEO_SW_CURSOR is not set
84 CONFIG_FDT_FIXUP_PARTITIONS=y