2 CONFIG_SYS_DCACHE_OFF=y
3 # CONFIG_SPL_SYS_DCACHE_OFF is not set
5 CONFIG_TEXT_BASE=0x80002000
6 CONFIG_SYS_MALLOC_LEN=0x40000
7 CONFIG_SYS_MALLOC_F_LEN=0x8000
9 CONFIG_SPL_LIBCOMMON_SUPPORT=y
10 CONFIG_SPL_LIBGENERIC_SUPPORT=y
11 CONFIG_NR_DRAM_BANKS=1
12 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
13 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x20280000
14 CONFIG_ENV_OFFSET=0x80000
16 CONFIG_DEFAULT_DEVICE_TREE="imxrt1050-evk"
17 CONFIG_SPL_TEXT_BASE=0x20209000
18 CONFIG_TARGET_IMXRT1050_EVK=y
21 CONFIG_SPL_SIZE_LIMIT=0x20000
23 CONFIG_SYS_LOAD_ADDR=0x20209000
24 CONFIG_DISTRO_DEFAULTS=y
26 # CONFIG_USE_BOOTCOMMAND is not set
27 CONFIG_SYS_CONSOLE_ENV_OVERWRITE=y
28 # CONFIG_DISPLAY_CPUINFO is not set
29 CONFIG_SPL_NO_BSS_LIMIT=y
30 CONFIG_SPL_BOARD_INIT=y
31 # CONFIG_SPL_RAW_IMAGE_SUPPORT is not set
32 CONFIG_SPL_SYS_MALLOC_SIMPLE=y
33 CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_SECTOR=y
34 CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_SECTOR=0x100
37 # CONFIG_BOOTM_NETBSD is not set
38 # CONFIG_BOOTM_PLAN9 is not set
39 # CONFIG_BOOTM_RTEMS is not set
40 # CONFIG_BOOTM_VXWORKS is not set
42 # CONFIG_CMD_MII is not set
43 # CONFIG_SPL_DOS_PARTITION is not set
44 # CONFIG_ISO_PARTITION is not set
45 # CONFIG_EFI_PARTITION is not set
47 CONFIG_SPL_OF_CONTROL=y
48 CONFIG_ENV_IS_NOWHERE=y
49 CONFIG_ENV_IS_IN_MMC=y
50 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
51 CONFIG_ENV_VARS_UBOOT_RUNTIME_CONFIG=y
52 CONFIG_TFTP_BLOCKSIZE=512
54 CONFIG_SPL_DM_SEQ_ALIAS=y
55 # CONFIG_OF_TRANSLATE is not set
56 CONFIG_SPL_CLK_IMXRT1050=y
57 CONFIG_CLK_IMXRT1050=y
58 # CONFIG_SPL_DM_GPIO is not set
60 # CONFIG_INPUT is not set
64 CONFIG_PINCTRL_IMXRT=y
71 CONFIG_IMX_GPT_TIMER=y
73 # CONFIG_SPL_DM_USB is not set
77 CONFIG_BACKLIGHT_GPIO=y
78 CONFIG_SYS_WHITE_ON_BLACK=y
80 CONFIG_SPLASH_SCREEN=y
81 CONFIG_SPLASH_SCREEN_ALIGN=y