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
11 CONFIG_ENV_SIZE=0x4000
13 CONFIG_DEFAULT_DEVICE_TREE="at91-sama5d4ek"
14 CONFIG_SPL_TEXT_BASE=0x200000
17 CONFIG_SPL_DRIVERS_MISC=y
19 CONFIG_DEBUG_UART_BASE=0xfc00c000
20 CONFIG_DEBUG_UART_CLOCK=88000000
21 CONFIG_DEBUG_UART_BOARD_INIT=y
23 CONFIG_SPL_LIBDISK_SUPPORT=y
24 CONFIG_SYS_LOAD_ADDR=0x22000000
26 CONFIG_ENV_VARS_UBOOT_CONFIG=y
27 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
28 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x20003ee0
33 CONFIG_BOOTARGS="console=ttyS0,115200 earlyprintk root=/dev/mmcblk0p2 rw rootwait"
34 CONFIG_USE_BOOTCOMMAND=y
35 CONFIG_BOOTCOMMAND="if test ! -n ${dtb_name}; then setenv dtb_name at91-${board_name}.dtb; fi; fatload mmc 0:1 0x21000000 ${dtb_name}; fatload mmc 0:1 0x22000000 zImage; bootz 0x22000000 - 0x21000000"
36 # CONFIG_CONSOLE_MUX is not set
37 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
38 # CONFIG_DISPLAY_BOARDINFO is not set
39 CONFIG_SPL_MAX_SIZE=0x18000
40 CONFIG_SPL_HAS_BSS_LINKER_SECTION=y
41 CONFIG_SPL_BSS_START_ADDR=0x20000000
42 CONFIG_SPL_BSS_MAX_SIZE=0x80000
43 # CONFIG_SPL_SHARES_INIT_SP_ADDR is not set
44 CONFIG_SPL_STACK=0x218000
45 CONFIG_SYS_SPL_MALLOC=y
46 CONFIG_SYS_SPL_MALLOC_SIZE=0x80000
51 # CONFIG_CMD_IMI is not set
52 # CONFIG_CMD_FLASH is not set
53 # CONFIG_CMD_LOADS is not set
58 CONFIG_BOOTP_BOOTFILESIZE=y
62 CONFIG_SPL_OF_CONTROL=y
63 CONFIG_OF_SPL_REMOVE_PROPS="interrupts interrupt-parent dma-names dmas"
64 CONFIG_ENV_IS_IN_FAT=y
65 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
68 CONFIG_SPL_DM_SEQ_ALIAS=y
75 CONFIG_GENERIC_ATMEL_MCI=y
79 CONFIG_ATMEL_NAND_HW_PMECC=y
81 CONFIG_SYS_NAND_ONFI_DETECTION=y
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