3 CONFIG_SPL_GPIO_SUPPORT=y
4 CONFIG_SPL_LIBCOMMON_SUPPORT=y
5 CONFIG_SPL_LIBGENERIC_SUPPORT=y
6 CONFIG_TARGET_GW_VENTANA=y
9 CONFIG_SPL_MMC_SUPPORT=y
10 CONFIG_SPL_SERIAL_SUPPORT=y
11 CONFIG_SPL_WATCHDOG_SUPPORT=y
12 CONFIG_SPL_STACK_R_ADDR=0x18000000
13 CONFIG_CMD_HDMIDETECT=y
16 CONFIG_OF_BOARD_SETUP=y
17 CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg"
19 # CONFIG_SYS_STDIO_DEREGISTER is not set
20 # CONFIG_DISPLAY_BOARDINFO is not set
21 CONFIG_BOARD_EARLY_INIT_F=y
23 CONFIG_SPL_BOARD_INIT=y
25 CONFIG_SPL_DMA_SUPPORT=y
26 CONFIG_SPL_I2C_SUPPORT=y
28 CONFIG_SPL_POWER_SUPPORT=y
30 CONFIG_SYS_PROMPT="Ventana > "
32 CONFIG_CMD_SPL_NAND_OFS=0x1100000
33 CONFIG_CMD_SPL_WRITE_SIZE=0x20000
34 # CONFIG_CMD_FLASH is not set
40 CONFIG_CMD_USB_MASS_STORAGE=y
48 CONFIG_CMD_EXT4_WRITE=y
50 CONFIG_CMD_FS_GENERIC=y
51 CONFIG_MTDIDS_DEFAULT="nand0=nand"
52 CONFIG_MTDPARTS_DEFAULT="mtdparts=nand:16m(uboot),1m(env),-(rootfs)"
54 CONFIG_ENV_IS_IN_MMC=y
65 CONFIG_SYS_USB_EVENT_POLL_VIA_CONTROL_EP=y
67 CONFIG_USB_GADGET_MANUFACTURER="Gateworks"
68 CONFIG_USB_GADGET_VENDOR_NUM=0x0525
69 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
71 CONFIG_USB_GADGET_DOWNLOAD=y
74 CONFIG_USB_HOST_ETHER=y
75 CONFIG_USB_ETHER_ASIX=y
76 CONFIG_USB_ETHER_SMSC95XX=y
78 # CONFIG_VIDEO_SW_CURSOR is not set
80 CONFIG_FDT_FIXUP_PARTITIONS=y