CONFIG_ARM=y 
 | 
CONFIG_ARCH_AT91=y 
 | 
CONFIG_SYS_TEXT_BASE=0x26f00000 
 | 
CONFIG_TARGET_SAMA5D2_PTC_EK=y 
 | 
CONFIG_SYS_MALLOC_F_LEN=0x2000 
 | 
CONFIG_DEBUG_UART_BOARD_INIT=y 
 | 
CONFIG_DEBUG_UART_BASE=0xf801c000 
 | 
CONFIG_DEBUG_UART_CLOCK=82000000 
 | 
CONFIG_DEFAULT_DEVICE_TREE="at91-sama5d2_ptc_ek" 
 | 
CONFIG_DEBUG_UART=y 
 | 
CONFIG_ENV_VARS_UBOOT_CONFIG=y 
 | 
CONFIG_FIT=y 
 | 
CONFIG_SYS_EXTRA_OPTIONS="SAMA5D2" 
 | 
CONFIG_NAND_BOOT=y 
 | 
CONFIG_BOOTDELAY=3 
 | 
CONFIG_CONSOLE_MUX=y 
 | 
# CONFIG_DISPLAY_BOARDINFO is not set 
 | 
CONFIG_HUSH_PARSER=y 
 | 
CONFIG_CMD_BOOTZ=y 
 | 
# CONFIG_CMD_IMI is not set 
 | 
# CONFIG_CMD_FLASH is not set 
 | 
CONFIG_CMD_I2C=y 
 | 
# CONFIG_CMD_LOADS is not set 
 | 
CONFIG_CMD_MMC=y 
 | 
CONFIG_CMD_NAND=y 
 | 
CONFIG_CMD_USB=y 
 | 
CONFIG_CMD_DHCP=y 
 | 
CONFIG_CMD_PING=y 
 | 
CONFIG_CMD_EXT4=y 
 | 
CONFIG_CMD_FAT=y 
 | 
CONFIG_OF_CONTROL=y 
 | 
CONFIG_ENV_IS_IN_NAND=y 
 | 
CONFIG_DM=y 
 | 
CONFIG_SPL_DM_SEQ_ALIAS=y 
 | 
CONFIG_CLK=y 
 | 
CONFIG_CLK_AT91=y 
 | 
CONFIG_AT91_UTMI=y 
 | 
CONFIG_AT91_H32MX=y 
 | 
CONFIG_AT91_GENERIC_CLK=y 
 | 
CONFIG_DM_GPIO=y 
 | 
CONFIG_ATMEL_PIO4=y 
 | 
CONFIG_DM_I2C=y 
 | 
CONFIG_SYS_I2C_AT91=y 
 | 
CONFIG_I2C_EEPROM=y 
 | 
CONFIG_DM_MMC=y 
 | 
CONFIG_MMC_SDHCI=y 
 | 
CONFIG_MMC_SDHCI_ATMEL=y 
 | 
CONFIG_NAND=y 
 | 
CONFIG_NAND_ATMEL=y 
 | 
CONFIG_ATMEL_NAND_HW_PMECC=y 
 | 
CONFIG_DM_ETH=y 
 | 
CONFIG_MACB=y 
 | 
CONFIG_PINCTRL=y 
 | 
CONFIG_PINCTRL_AT91PIO4=y 
 | 
CONFIG_DM_SERIAL=y 
 | 
CONFIG_DEBUG_UART_ATMEL=y 
 | 
CONFIG_DEBUG_UART_ANNOUNCE=y 
 | 
CONFIG_ATMEL_USART=y 
 | 
CONFIG_TIMER=y 
 | 
CONFIG_ATMEL_PIT_TIMER=y 
 | 
CONFIG_USB=y 
 | 
CONFIG_DM_USB=y 
 | 
CONFIG_USB_EHCI_HCD=y 
 | 
CONFIG_USB_STORAGE=y 
 |