1CONFIG_ARM=y
2CONFIG_SKIP_LOWLEVEL_INIT=y
3CONFIG_SYS_ICACHE_OFF=y
4CONFIG_SYS_DCACHE_OFF=y
5CONFIG_ARCH_CPU_INIT=y
6CONFIG_ARCH_LPC32XX=y
7CONFIG_TEXT_BASE=0x83F00000
8CONFIG_SYS_MALLOC_LEN=0x100000
9CONFIG_SYS_MALLOC_F_LEN=0x400
10CONFIG_SPL_LIBCOMMON_SUPPORT=y
11CONFIG_SPL_LIBGENERIC_SUPPORT=y
12CONFIG_NR_DRAM_BANKS=2
13CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
14CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x80000f20
15CONFIG_ENV_SIZE=0x20000
16CONFIG_ENV_OFFSET=0xA0000
17CONFIG_SPL_TEXT_BASE=0x00000000
18CONFIG_SYS_MONITOR_LEN=393216
19CONFIG_SPL_SERIAL=y
20CONFIG_SPL_STACK=0xfff8
21CONFIG_SPL=y
22CONFIG_SYS_LOAD_ADDR=0x80008000
23CONFIG_BOOTDELAY=1
24CONFIG_USE_BOOTARGS=y
25CONFIG_BOOTARGS="console=ttyS0,115200n8"
26CONFIG_USE_BOOTCOMMAND=y
27CONFIG_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}"
28# CONFIG_DISPLAY_BOARDINFO is not set
29CONFIG_BOARD_EARLY_INIT_F=y
30CONFIG_SPL_MAX_SIZE=0x20000
31CONFIG_SPL_NO_BSS_LIMIT=y
32CONFIG_SPL_BOARD_INIT=y
33CONFIG_SPL_SYS_MALLOC_SIMPLE=y
34# CONFIG_SPL_SHARES_INIT_SP_ADDR is not set
35CONFIG_SPL_NAND_SUPPORT=y
36CONFIG_SPL_NAND_RAW_ONLY=y
37CONFIG_SPL_NAND_DRIVERS=y
38CONFIG_SPL_NAND_ECC=y
39CONFIG_SPL_NAND_SOFTECC=y
40CONFIG_SPL_NAND_SIMPLE=y
41CONFIG_CMD_IMLS=y
42CONFIG_CMD_GPIO=y
43CONFIG_CMD_I2C=y
44CONFIG_CMD_NAND=y
45# CONFIG_CMD_SETEXPR is not set
46CONFIG_CMD_DHCP=y
47CONFIG_SYS_DISABLE_AUTOLOAD=y
48CONFIG_CMD_MII=y
49CONFIG_CMD_PING=y
50CONFIG_CMD_CACHE=y
51CONFIG_CMD_FAT=y
52CONFIG_CMD_JFFS2=y
53CONFIG_ENV_IS_IN_NAND=y
54CONFIG_SYS_RELOC_GD_ENV_ADDR=y
55CONFIG_USE_BOOTFILE=y
56CONFIG_BOOTFILE="uImage"
57CONFIG_VERSION_VARIABLE=y
58CONFIG_SYS_FAULT_ECHO_LINK_DOWN=y
59CONFIG_DMA_LPC32XX=y
60CONFIG_LPC32XX_GPIO=y
61CONFIG_SYS_I2C_LEGACY=y
62CONFIG_SPL_SYS_I2C_LEGACY=y
63CONFIG_SYS_I2C_LPC32XX=y
64# CONFIG_MMC is not set
65CONFIG_MTD=y
66CONFIG_MTD_NOR_FLASH=y
67CONFIG_FLASH_CFI_DRIVER=y
68CONFIG_FLASH_SHOW_PROGRESS=0
69CONFIG_SYS_FLASH_PROTECTION=y
70CONFIG_SYS_FLASH_CFI=y
71CONFIG_SYS_MAX_FLASH_SECT=71
72CONFIG_MTD_RAW_NAND=y
73CONFIG_SYS_NAND_USE_FLASH_BBT=y
74CONFIG_NAND_LPC32XX_SLC=y
75CONFIG_SYS_NAND_BLOCK_SIZE=0x20000
76CONFIG_SYS_NAND_PAGE_COUNT=0x40
77CONFIG_SYS_NAND_PAGE_SIZE=0x800
78CONFIG_SYS_NAND_OOBSIZE=0x40
79# CONFIG_SYS_NAND_5_ADDR_CYCLE is not set
80CONFIG_SYS_NAND_U_BOOT_LOCATIONS=y
81CONFIG_SYS_NAND_U_BOOT_OFFS=0x40000
82CONFIG_PHYLIB=y
83CONFIG_PHY_ADDR_ENABLE=y
84CONFIG_PHY_ADDR=31
85CONFIG_PHY_SMSC=y
86CONFIG_RMII=y
87CONFIG_SPECIFY_CONSOLE_INDEX=y
88CONFIG_CONS_INDEX=5
89CONFIG_SYS_NS16550=y
90CONFIG_SPI=y
91CONFIG_USB=y
92CONFIG_SYS_USB_OHCI_SLOT_NAME="lpc32xx-ohci"
93CONFIG_USB_OHCI_LPC32XX=y
94CONFIG_OF_LIBFDT=y
95