| CONFIG_SKIP_LOWLEVEL_INIT=y |
| CONFIG_SYS_TEXT_BASE=0x26f00000 |
| CONFIG_TARGET_AT91SAM9X5EK=y |
| CONFIG_SYS_MALLOC_F_LEN=0x2000 |
| CONFIG_SYS_MALLOC_LEN=0x81000 |
| CONFIG_DEFAULT_DEVICE_TREE="at91sam9g35ek" |
| CONFIG_DEBUG_UART_BOARD_INIT=y |
| CONFIG_DEBUG_UART_BASE=0xfffff200 |
| CONFIG_DEBUG_UART_CLOCK=132000000 |
| CONFIG_SYS_LOAD_ADDR=0x22000000 |
| CONFIG_BOOTARGS="mem=128M console=ttyS0,115200 mtdparts=atmel_nand:8M(bootstrap/uboot/kernel)ro,-(rootfs) root=/dev/mmcblk0p2 rw rootfstype=ext4 rootwait" |
| # CONFIG_CONSOLE_MUX is not set |
| CONFIG_SYS_CONSOLE_IS_IN_ENV=y |
| # CONFIG_DISPLAY_BOARDINFO is not set |
| CONFIG_SYS_PROMPT="U-Boot> " |
| # CONFIG_CMD_FLASH is not set |
| CONFIG_CMD_NAND_TRIMFFS=y |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_GENERIC_ATMEL_MCI=y |
| CONFIG_ATMEL_NAND_HW_PMECC=y |
| CONFIG_SF_DEFAULT_SPEED=30000000 |
| CONFIG_DEBUG_UART_ANNOUNCE=y |
| # CONFIG_VIDEO_BPP8 is not set |
| # CONFIG_VIDEO_BPP32 is not set |