3 CONFIG_SYS_TEXT_BASE=0x26f00000
4 CONFIG_TARGET_AT91SAM9X5EK=y
5 CONFIG_SYS_MALLOC_F_LEN=0x2000
9 CONFIG_DEBUG_UART_BOARD_INIT=y
10 CONFIG_DEBUG_UART_BASE=0xfffff200
11 CONFIG_DEBUG_UART_CLOCK=132000000
17 CONFIG_BOOTARGS="mem=128M console=ttyS0,115200 mtdparts=atmel_nand:8M(bootstrap/uboot/kernel)ro,-(rootfs) root=/dev/mmcblk0p2 rw rootfstype=ext4 rootwait"
18 # CONFIG_CONSOLE_MUX is not set
19 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
20 # CONFIG_DISPLAY_BOARDINFO is not set
22 CONFIG_SYS_PROMPT="U-Boot> "
24 # CONFIG_CMD_FLASH is not set
27 CONFIG_CMD_NAND_TRIMFFS=y
29 # CONFIG_CMD_SETEXPR is not set
36 CONFIG_DEFAULT_DEVICE_TREE="at91sam9g35ek"
37 CONFIG_ENV_IS_IN_FAT=y
38 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
44 CONFIG_GENERIC_ATMEL_MCI=y
47 # CONFIG_SYS_NAND_USE_FLASH_BBT is not set
50 CONFIG_SF_DEFAULT_SPEED=30000000
51 CONFIG_SPI_FLASH_ATMEL=y
57 CONFIG_DEBUG_UART_ANNOUNCE=y
62 CONFIG_ATMEL_PIT_TIMER=y
68 # CONFIG_VIDEO_BPP8 is not set
69 # CONFIG_VIDEO_BPP32 is not set