4 CONFIG_SYS_TEXT_BASE=0x26f00000
5 CONFIG_TARGET_SAMA5D4_XPLAINED=y
6 CONFIG_SPL_GPIO_SUPPORT=y
7 CONFIG_SPL_LIBCOMMON_SUPPORT=y
8 CONFIG_SPL_LIBGENERIC_SUPPORT=y
9 CONFIG_SYS_MALLOC_F_LEN=0x2000
10 CONFIG_SPL_MMC_SUPPORT=y
11 CONFIG_SPL_SERIAL_SUPPORT=y
12 CONFIG_SPL_DRIVERS_MISC_SUPPORT=y
13 CONFIG_ENV_SIZE=0x4000
14 CONFIG_NR_DRAM_BANKS=1
16 CONFIG_DEBUG_UART_BOARD_INIT=y
17 CONFIG_DEBUG_UART_BASE=0xfc00c000
18 CONFIG_DEBUG_UART_CLOCK=100000000
20 CONFIG_SPL_LIBDISK_SUPPORT=y
22 CONFIG_SPL_TEXT_BASE=0x200000
23 CONFIG_ENV_VARS_UBOOT_CONFIG=y
28 CONFIG_BOOTARGS="console=ttyS0,115200 earlyprintk root=/dev/mmcblk0p2 rw rootwait"
30 # CONFIG_DISPLAY_BOARDINFO is not set
31 CONFIG_SPL_SEPARATE_BSS=y
34 # CONFIG_CMD_FLASH is not set
35 # CONFIG_CMD_LOADS is not set
43 CONFIG_SPL_OF_CONTROL=y
44 CONFIG_DEFAULT_DEVICE_TREE="at91-sama5d4_xplained"
45 CONFIG_OF_SPL_REMOVE_PROPS="interrupts interrupt-parent dma-names dmas"
46 CONFIG_ENV_IS_IN_FAT=y
47 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
61 CONFIG_GENERIC_ATMEL_MCI=y
63 # CONFIG_SYS_NAND_USE_FLASH_BBT is not set
65 CONFIG_ATMEL_NAND_HW_PMECC=y
68 CONFIG_SF_DEFAULT_SPEED=30000000
69 CONFIG_SPI_FLASH_ATMEL=y
76 CONFIG_DEBUG_UART_ATMEL=y
77 CONFIG_DEBUG_UART_ANNOUNCE=y
83 CONFIG_ATMEL_PIT_TIMER=y
89 CONFIG_USB_GADGET_ATMEL_USBA=y
95 CONFIG_W1_EEPROM_DS24XXX=y
96 CONFIG_OF_LIBFDT_OVERLAY=y