3 CONFIG_SYS_TEXT_BASE=0x66f00000
4 CONFIG_SYS_MALLOC_F_LEN=0x11000
5 CONFIG_TARGET_SAMA7G5EK=y
9 CONFIG_DEFAULT_DEVICE_TREE="at91-sama7g5ek"
10 CONFIG_DEBUG_UART_BOARD_INIT=y
11 CONFIG_DEBUG_UART_BASE=0xe1824200
12 CONFIG_DEBUG_UART_CLOCK=200000000
13 CONFIG_SYS_LOAD_ADDR=0x62000000
15 CONFIG_SYS_MEMTEST_START=0x60000000
16 CONFIG_SYS_MEMTEST_END=0x70000000
17 CONFIG_ENV_VARS_UBOOT_CONFIG=y
21 CONFIG_BOOTARGS="console=ttyS0,115200 root=/dev/mmcblk0p2 rw rootwait"
22 CONFIG_USE_BOOTCOMMAND=y
23 CONFIG_BOOTCOMMAND="fatload mmc 0:1 0x61000000 at91-sama7g5ek.dtb; fatload mmc 0:1 0x62000000 zImage; bootz 0x62000000 - 0x61000000"
29 # CONFIG_CMD_IMI is not set
36 # CONFIG_CMD_LOADS is not set
46 CONFIG_ENV_IS_IN_FAT=y
47 CONFIG_ENV_FAT_DEVICE_AND_PART="0:1"
48 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
49 CONFIG_ARP_TIMEOUT=200
50 CONFIG_NET_RETRY_COUNT=50
56 CONFIG_AT91_GENERIC_CLK=y
57 CONFIG_AT91_SAM9X60_PLL=y
63 CONFIG_MICROCHIP_FLEXCOM=y
65 CONFIG_MMC_SDHCI_ATMEL=y
67 CONFIG_PHY_MICREL_KSZ90X1=y
71 CONFIG_PINCTRL_AT91PIO4=y
73 CONFIG_DEBUG_UART_ANNOUNCE=y
76 CONFIG_SYSRESET_AT91=y
78 CONFIG_MCHP_PIT64B_TIMER=y
79 CONFIG_OF_LIBFDT_OVERLAY=y
80 # CONFIG_EFI_LOADER_HII is not set
81 CONFIG_PHANDLE_CHECK_SEQ=y