1CONFIG_ARM=y
2CONFIG_ARCH_AT91=y
3CONFIG_TARGET_AT91SAM9RLEK=y
4CONFIG_SYS_MALLOC_F_LEN=0x2000
5CONFIG_DEFAULT_DEVICE_TREE="at91sam9rlek"
6CONFIG_DEBUG_UART=y
7CONFIG_SYS_EXTRA_OPTIONS="AT91SAM9RL,SYS_USE_NANDFLASH"
8CONFIG_ENV_IS_IN_NAND=y
9CONFIG_BOOTDELAY=3
10# CONFIG_CONSOLE_MUX is not set
11CONFIG_SYS_CONSOLE_IS_IN_ENV=y
12# CONFIG_DISPLAY_BOARDINFO is not set
13CONFIG_HUSH_PARSER=y
14CONFIG_SYS_PROMPT="U-Boot> "
15# CONFIG_CMD_BDI is not set
16CONFIG_CMD_BOOTZ=y
17# CONFIG_CMD_IMI is not set
18# CONFIG_CMD_IMLS is not set
19# CONFIG_CMD_LOADS is not set
20CONFIG_CMD_MMC=y
21CONFIG_CMD_NAND=y
22# CONFIG_CMD_FPGA is not set
23# CONFIG_CMD_SOURCE is not set
24# CONFIG_CMD_SETEXPR is not set
25# CONFIG_CMD_NET is not set
26# CONFIG_CMD_NFS is not set
27CONFIG_CMD_FAT=y
28CONFIG_OF_CONTROL=y
29CONFIG_DM=y
30CONFIG_CLK=y
31CONFIG_CLK_AT91=y
32CONFIG_AT91_UTMI=y
33CONFIG_DM_GPIO=y
34CONFIG_AT91_GPIO=y
35CONFIG_DM_MMC=y
36CONFIG_GENERIC_ATMEL_MCI=y
37CONFIG_PINCTRL=y
38CONFIG_PINCTRL_AT91=y
39CONFIG_DM_SERIAL=y
40CONFIG_DEBUG_UART_ATMEL=y
41CONFIG_DEBUG_UART_BASE=0xfffff200
42CONFIG_DEBUG_UART_CLOCK=100000000
43CONFIG_DEBUG_UART_BOARD_INIT=y
44CONFIG_DEBUG_UART_ANNOUNCE=y
45CONFIG_ATMEL_USART=y
46CONFIG_LCD=y
47