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
28 CONFIG_SPL_NAND_SUPPORT=y
30 CONFIG_SPL_POWER_SUPPORT=y
31 CONFIG_SPL_WATCHDOG_SUPPORT=y
33 CONFIG_SYS_PROMPT="Ventana > "
35 CONFIG_CMD_SPL_NAND_OFS=0x1100000
36 CONFIG_CMD_SPL_WRITE_SIZE=0x20000
37 # CONFIG_CMD_FLASH is not set
41 CONFIG_CMD_NAND_TRIMFFS=y
44 CONFIG_CMD_USB_MASS_STORAGE=y
52 CONFIG_CMD_EXT4_WRITE=y
54 CONFIG_CMD_FS_GENERIC=y
55 CONFIG_MTDIDS_DEFAULT="nand0=nand"
56 CONFIG_MTDPARTS_DEFAULT="mtdparts=nand:16m(uboot),1m(env),-(rootfs)"
58 CONFIG_ENV_IS_IN_NAND=y
61 CONFIG_SUPPORT_EMMC_RPMB=y
73 CONFIG_SYS_USB_EVENT_POLL_VIA_CONTROL_EP=y
75 CONFIG_USB_GADGET_MANUFACTURER="Gateworks"
76 CONFIG_USB_GADGET_VENDOR_NUM=0x0525
77 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
79 CONFIG_USB_GADGET_DOWNLOAD=y
82 CONFIG_USB_HOST_ETHER=y
83 CONFIG_USB_ETHER_ASIX=y
84 CONFIG_USB_ETHER_SMSC95XX=y
86 # CONFIG_VIDEO_SW_CURSOR is not set
88 CONFIG_FDT_FIXUP_PARTITIONS=y