2 CONFIG_SKIP_LOWLEVEL_INIT=y
4 CONFIG_TEXT_BASE=0x26f00000
5 CONFIG_SYS_MALLOC_LEN=0x81000
6 CONFIG_TARGET_AT91SAM9X5EK=y
11 CONFIG_DEFAULT_DEVICE_TREE="at91sam9g35ek"
12 CONFIG_SYS_PROMPT="U-Boot> "
13 CONFIG_DEBUG_UART_BASE=0xfffff200
14 CONFIG_DEBUG_UART_CLOCK=132000000
15 CONFIG_DEBUG_UART_BOARD_INIT=y
16 CONFIG_SYS_LOAD_ADDR=0x22000000
18 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
19 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x20003ef0
20 CONFIG_SYS_MONITOR_LEN=524288
25 CONFIG_BOOTARGS="mem=128M console=ttyS0,115200 mtdparts=atmel_nand:8M(bootstrap/uboot/kernel)ro,-(rootfs) root=/dev/mmcblk0p2 rw rootfstype=ext4 rootwait"
26 # CONFIG_CONSOLE_MUX is not set
27 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
28 # CONFIG_DISPLAY_BOARDINFO is not set
33 # CONFIG_CMD_FLASH is not set
36 CONFIG_CMD_NAND_TRIMFFS=y
38 # CONFIG_CMD_SETEXPR is not set
40 CONFIG_BOOTP_BOOTFILESIZE=y
46 CONFIG_ENV_IS_IN_FAT=y
47 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
51 CONFIG_GENERIC_ATMEL_MCI=y
55 CONFIG_ATMEL_NAND_HW_PMECC=y
57 CONFIG_SF_DEFAULT_SPEED=30000000
58 CONFIG_SPI_FLASH_ATMEL=y
63 CONFIG_DEBUG_UART_ANNOUNCE=y
68 CONFIG_ATMEL_PIT_TIMER=y
73 # CONFIG_VIDEO_BPP8 is not set
74 # CONFIG_VIDEO_BPP32 is not set