3 CONFIG_TEXT_BASE=0x87800000
4 CONFIG_SYS_MALLOC_LEN=0x1000000
5 CONFIG_SPL_LIBCOMMON_SUPPORT=y
6 CONFIG_SPL_LIBGENERIC_SUPPORT=y
10 CONFIG_TARGET_MYS_6ULX=y
11 CONFIG_DEFAULT_DEVICE_TREE="imx6ull-myir-mys-6ulx-eval"
12 CONFIG_SPL_TEXT_BASE=0x908000
13 CONFIG_SYS_MONITOR_LEN=409600
17 CONFIG_SYS_MEMTEST_START=0x80000000
18 CONFIG_SYS_MEMTEST_END=0x90000000
20 CONFIG_DISTRO_DEFAULTS=y
23 CONFIG_BOARD_EARLY_INIT_F=y
24 CONFIG_SPL_SYS_MALLOC=y
26 CONFIG_SPL_NAND_SUPPORT=y
38 CONFIG_MTDIDS_DEFAULT="nand0=gpmi-nand"
39 CONFIG_MTDPARTS_DEFAULT="gpmi-nand:512k(spl),1m(uboot),1m(uboot-dup),-(ubi)"
41 # CONFIG_ISO_PARTITION is not set
43 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
52 CONFIG_SYS_NAND_U_BOOT_LOCATIONS=y
53 CONFIG_SYS_NAND_U_BOOT_OFFS=0x80000
54 CONFIG_SYS_NAND_U_BOOT_OFFS_REDUND=0x180000
63 CONFIG_DM_REGULATOR_FIXED=y
66 CONFIG_SYSINFO_SMBIOS=y
71 CONFIG_SPL_USB_GADGET=y
72 # CONFIG_RANDOM_UUID is not set