2 CONFIG_SKIP_LOWLEVEL_INIT=y
3 CONFIG_SYS_ICACHE_OFF=y
4 CONFIG_SYS_DCACHE_OFF=y
7 CONFIG_SYS_TEXT_BASE=0x83F00000
8 CONFIG_SYS_MALLOC_LEN=0x100000
9 CONFIG_SYS_MALLOC_F_LEN=0x400
10 CONFIG_SPL_LIBCOMMON_SUPPORT=y
11 CONFIG_SPL_LIBGENERIC_SUPPORT=y
12 CONFIG_NR_DRAM_BANKS=2
13 CONFIG_ENV_SIZE=0x20000
14 CONFIG_ENV_OFFSET=0xA0000
15 CONFIG_SPL_TEXT_BASE=0x00000000
18 CONFIG_SYS_LOAD_ADDR=0x80008000
21 CONFIG_BOOTARGS="console=ttyS0,115200n8"
22 CONFIG_USE_BOOTCOMMAND=y
23 CONFIG_BOOTCOMMAND="dhcp; tftp ${loadaddr} ${serverip}:${tftpdir}/${bootfile}; tftp ${dtbaddr} ${serverip}:${tftpdir}/devkit3250.dtb; setenv nfsargs ip=dhcp root=/dev/nfs nfsroot=${serverip}:${nfsroot},tcp; setenv bootargs ${bootargs} ${nfsargs} ${userargs}; bootm ${loadaddr} - ${dtbaddr}"
24 # CONFIG_DISPLAY_BOARDINFO is not set
25 CONFIG_BOARD_EARLY_INIT_F=y
26 CONFIG_SPL_BOARD_INIT=y
27 CONFIG_SPL_SYS_MALLOC_SIMPLE=y
28 CONFIG_SPL_NAND_SUPPORT=y
29 CONFIG_SPL_NAND_DRIVERS=y
31 CONFIG_SPL_NAND_SIMPLE=y
36 # CONFIG_CMD_SETEXPR is not set
43 CONFIG_ENV_IS_IN_NAND=y
44 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
46 CONFIG_BOOTFILE="uImage"
47 CONFIG_VERSION_VARIABLE=y
48 CONFIG_SYS_FAULT_ECHO_LINK_DOWN=y
51 CONFIG_SYS_I2C_LEGACY=y
52 CONFIG_SPL_SYS_I2C_LEGACY=y
53 CONFIG_SYS_I2C_LPC32XX=y
54 # CONFIG_MMC is not set
56 CONFIG_MTD_NOR_FLASH=y
57 CONFIG_FLASH_CFI_DRIVER=y
58 CONFIG_SYS_FLASH_PROTECTION=y
59 CONFIG_SYS_FLASH_CFI=y
61 CONFIG_SYS_NAND_USE_FLASH_BBT=y
62 CONFIG_NAND_LPC32XX_SLC=y
63 CONFIG_SYS_NAND_BLOCK_SIZE=0x20000
64 CONFIG_SYS_NAND_PAGE_COUNT=0x40
65 CONFIG_SYS_NAND_PAGE_SIZE=0x800
66 CONFIG_SYS_NAND_OOBSIZE=0x40
67 # CONFIG_SYS_NAND_5_ADDR_CYCLE is not set
68 CONFIG_SYS_NAND_U_BOOT_LOCATIONS=y
69 CONFIG_SYS_NAND_U_BOOT_OFFS=0x40000
71 CONFIG_PHY_ADDR_ENABLE=y
75 CONFIG_SPECIFY_CONSOLE_INDEX=y