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
15 CONFIG_NR_DRAM_BANKS=1
18 CONFIG_OF_BOARD_SETUP=y
19 CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg"
21 CONFIG_SUPPORT_RAW_INITRD=y
23 # CONFIG_DISPLAY_BOARDINFO is not set
24 CONFIG_DISPLAY_BOARDINFO_LATE=y
25 CONFIG_BOARD_EARLY_INIT_F=y
26 CONFIG_SPL_BOARD_INIT=y
28 CONFIG_SPL_DMA_SUPPORT=y
29 CONFIG_SPL_I2C_SUPPORT=y
30 CONFIG_SPL_NAND_SUPPORT=y
32 CONFIG_SPL_POWER_SUPPORT=y
33 CONFIG_SPL_WATCHDOG_SUPPORT=y
35 CONFIG_SYS_PROMPT="Ventana > "
37 CONFIG_CMD_SPL_NAND_OFS=0x1100000
38 CONFIG_CMD_SPL_WRITE_SIZE=0x20000
39 # CONFIG_CMD_FLASH is not set
43 CONFIG_CMD_NAND_TRIMFFS=y
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_NAND=y
64 CONFIG_SUPPORT_EMMC_RPMB=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
89 # CONFIG_VIDEO_SW_CURSOR is not set
91 CONFIG_FDT_FIXUP_PARTITIONS=y