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_MMC"
8CONFIG_ENV_IS_IN_FAT=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
21# CONFIG_CMD_FPGA is not set
22# CONFIG_CMD_SOURCE is not set
23# CONFIG_CMD_SETEXPR is not set
24# CONFIG_CMD_NET is not set
25# CONFIG_CMD_NFS is not set
26CONFIG_CMD_FAT=y
27CONFIG_OF_CONTROL=y
28CONFIG_DM=y
29CONFIG_CLK=y
30CONFIG_CLK_AT91=y
31CONFIG_AT91_UTMI=y
32CONFIG_DM_GPIO=y
33CONFIG_AT91_GPIO=y
34CONFIG_DM_MMC=y
35CONFIG_GENERIC_ATMEL_MCI=y
36CONFIG_PINCTRL=y
37CONFIG_PINCTRL_AT91=y
38CONFIG_DM_SERIAL=y
39CONFIG_DEBUG_UART_ATMEL=y
40CONFIG_DEBUG_UART_BASE=0xfffff200
41CONFIG_DEBUG_UART_CLOCK=100000000
42CONFIG_DEBUG_UART_BOARD_INIT=y
43CONFIG_DEBUG_UART_ANNOUNCE=y
44CONFIG_ATMEL_USART=y
45CONFIG_LCD=y
46CONFIG_FAT_WRITE=y
47