2 CONFIG_SKIP_LOWLEVEL_INIT=y
5 CONFIG_SYS_TEXT_BASE=0x26f00000
6 CONFIG_TARGET_SAMA5D4EK=y
8 CONFIG_SPL_LIBCOMMON_SUPPORT=y
9 CONFIG_SPL_LIBGENERIC_SUPPORT=y
10 CONFIG_NR_DRAM_BANKS=1
12 CONFIG_DEFAULT_DEVICE_TREE="at91-sama5d4ek"
13 CONFIG_SPL_TEXT_BASE=0x200000
15 CONFIG_SPL_DRIVERS_MISC=y
17 CONFIG_DEBUG_UART_BOARD_INIT=y
18 CONFIG_DEBUG_UART_BASE=0xfc00c000
19 CONFIG_DEBUG_UART_CLOCK=88000000
20 CONFIG_ENV_OFFSET_REDUND=0x100000
21 CONFIG_SYS_LOAD_ADDR=0x22000000
23 CONFIG_ENV_VARS_UBOOT_CONFIG=y
24 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
25 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x20003ee0
30 CONFIG_BOOTARGS="console=ttyS0,115200 earlyprintk mtdparts=atmel_nand:256k(bootstrap)ro,768k(uboot)ro,256K(env_redundant),256k(env),512k(dtb),6M(kernel)ro,-(rootfs) rootfstype=ubifs ubi.mtd=6 root=ubi0:rootfs"
31 CONFIG_USE_BOOTCOMMAND=y
32 CONFIG_BOOTCOMMAND="nand read 0x21000000 0x180000 0x80000;nand read 0x22000000 0x200000 0x600000;bootz 0x22000000 - 0x21000000"
33 # CONFIG_CONSOLE_MUX is not set
34 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
35 # CONFIG_DISPLAY_BOARDINFO is not set
36 CONFIG_SPL_MAX_SIZE=0x18000
37 CONFIG_SPL_BSS_MAX_SIZE=0x80000
38 # CONFIG_SPL_SHARES_INIT_SP_ADDR is not set
39 CONFIG_SPL_STACK=0x218000
40 CONFIG_SPL_NAND_SUPPORT=y
41 CONFIG_SPL_NAND_DRIVERS=y
42 CONFIG_SPL_NAND_BASE=y
47 # CONFIG_CMD_IMI is not set
48 # CONFIG_CMD_FLASH is not set
49 # CONFIG_CMD_LOADS is not set
54 CONFIG_BOOTP_BOOTFILESIZE=y
58 CONFIG_SPL_OF_CONTROL=y
59 CONFIG_OF_SPL_REMOVE_PROPS="interrupts interrupt-parent dma-names dmas"
60 CONFIG_ENV_IS_IN_NAND=y
61 CONFIG_SYS_REDUNDAND_ENVIRONMENT=y
62 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
65 CONFIG_SPL_DM_SEQ_ALIAS=y
72 CONFIG_GENERIC_ATMEL_MCI=y
76 CONFIG_SPL_GENERATE_ATMEL_PMECC_HEADER=y
77 CONFIG_SYS_NAND_BLOCK_SIZE=0x40000
78 CONFIG_SYS_NAND_ONFI_DETECTION=y
79 CONFIG_SYS_NAND_PAGE_COUNT=0x40
80 CONFIG_SYS_NAND_PAGE_SIZE=0x1000
81 CONFIG_SYS_NAND_OOBSIZE=0xe0
82 CONFIG_SYS_NAND_U_BOOT_LOCATIONS=y
83 CONFIG_SYS_NAND_U_BOOT_OFFS=0x40000
85 CONFIG_SF_DEFAULT_SPEED=30000000
86 CONFIG_SPI_FLASH_ATMEL=y
93 CONFIG_DEBUG_UART_ANNOUNCE=y
99 CONFIG_SYSRESET_AT91=y
102 CONFIG_ATMEL_PIT_TIMER=y
103 CONFIG_SPL_ATMEL_PIT_TIMER=y
105 CONFIG_USB_EHCI_HCD=y
108 CONFIG_USB_GADGET_ATMEL_USBA=y
110 # CONFIG_VIDEO_BPP8 is not set
111 # CONFIG_VIDEO_BPP32 is not set