blob: 8322ed72dae9755918007cfb9145028726585cbf [file] [log] [blame]
Marek Vasut22cc6f52016-02-11 14:13:38 +01001CONFIG_ARM=y
2CONFIG_ARCH_AT91=y
Tom Rini07edfae2018-02-03 12:10:38 -05003CONFIG_SYS_TEXT_BASE=0x26f00000
Marek Vasut22cc6f52016-02-11 14:13:38 +01004CONFIG_TARGET_MA5D4EVK=y
Simon Glass0bdfc3e2016-09-12 23:18:39 -06005CONFIG_SPL_GPIO_SUPPORT=y
Simon Glassf2a89462016-09-12 23:18:41 -06006CONFIG_SPL_LIBCOMMON_SUPPORT=y
Simon Glassb16c92c2016-09-12 23:18:43 -06007CONFIG_SPL_LIBGENERIC_SUPPORT=y
Simon Glasse076d6f2016-09-12 23:18:56 -06008CONFIG_SPL_SERIAL_SUPPORT=y
Simon Glass219d6122016-09-12 23:18:57 -06009CONFIG_SPL_SPI_FLASH_SUPPORT=y
Simon Glassb24fdca2016-09-12 23:18:58 -060010CONFIG_SPL_SPI_SUPPORT=y
Adam Ford58dbf862018-02-06 07:58:59 -060011CONFIG_ENV_VARS_UBOOT_CONFIG=y
Simon Glasse3ee2fb2016-02-22 22:55:43 -070012CONFIG_FIT=y
Heiko Schocher0b368b12016-06-07 08:31:14 +020013CONFIG_BOOTDELAY=3
Sam Protsenkobd7bffe2017-08-14 20:22:17 +030014CONFIG_USE_BOOTARGS=y
15CONFIG_BOOTARGS="console=ttyS3,115200"
Heiko Schocher20ea7ab2016-09-09 08:12:49 +020016CONFIG_VERSION_VARIABLE=y
Lokesh Vutla94d95e42016-10-11 21:33:46 -040017# CONFIG_DISPLAY_BOARDINFO is not set
Simon Glass7a99a872017-01-23 13:31:20 -070018CONFIG_BOARD_EARLY_INIT_F=y
Simon Glassffe19762016-09-12 23:18:22 -060019CONFIG_SPL=y
Tom Rinif852e732016-04-21 21:37:19 -040020CONFIG_HUSH_PARSER=y
Tom Rini1d9ac832016-04-24 17:29:26 -040021CONFIG_CMD_BOOTZ=y
Marek Vasut22cc6f52016-02-11 14:13:38 +010022# CONFIG_CMD_IMI is not set
Tom Rini1d9ac832016-04-24 17:29:26 -040023CONFIG_CMD_ASKENV=y
24CONFIG_CMD_GREPENV=y
Tom Rini78873cd2017-08-14 19:58:53 -040025CONFIG_CMD_DFU=y
Marek Vasut22cc6f52016-02-11 14:13:38 +010026# CONFIG_CMD_FLASH is not set
Tom Rini78873cd2017-08-14 19:58:53 -040027# CONFIG_CMD_LOADS is not set
Tom Rini1d9ac832016-04-24 17:29:26 -040028CONFIG_CMD_MMC=y
Tom Rini0f2dcb92016-04-22 16:41:25 -040029CONFIG_CMD_SF=y
30CONFIG_CMD_USB=y
Tom Rini002ec482017-07-08 20:32:11 -040031CONFIG_CMD_USB_MASS_STORAGE=y
Tom Rini0f2dcb92016-04-22 16:41:25 -040032CONFIG_CMD_DHCP=y
Tom Rini1d9ac832016-04-24 17:29:26 -040033CONFIG_CMD_MII=y
Tom Rini0f2dcb92016-04-22 16:41:25 -040034CONFIG_CMD_PING=y
Tom Rini1d9ac832016-04-24 17:29:26 -040035CONFIG_CMD_CACHE=y
36CONFIG_CMD_EXT4=y
37CONFIG_CMD_EXT4_WRITE=y
38CONFIG_CMD_FAT=y
39CONFIG_CMD_FS_GENERIC=y
Tom Rini5b0b0402017-08-28 07:16:32 -040040CONFIG_ENV_IS_IN_MMC=y
Tom Rini002ec482017-07-08 20:32:11 -040041CONFIG_NET_RANDOM_ETHADDR=y
Adam Ford58dbf862018-02-06 07:58:59 -060042CONFIG_BOOTP_BOOTPATH=y
43CONFIG_BOOTP_GATEWAY=y
44CONFIG_BOOTP_HOSTNAME=y
Tom Rini002ec482017-07-08 20:32:11 -040045CONFIG_DFU_MMC=y
46CONFIG_DFU_SF=y
Marek Vasut22cc6f52016-02-11 14:13:38 +010047CONFIG_SPI_FLASH=y
Sam Protsenkob084b0c2016-03-25 16:39:47 +020048CONFIG_USB=y
Tom Rini7716cd62017-05-12 22:33:28 -040049CONFIG_USB_EHCI_HCD=y
Tom Rini6e9cb112016-09-08 16:31:26 -040050CONFIG_USB_STORAGE=y
Sam Protsenkob084b0c2016-03-25 16:39:47 +020051CONFIG_USB_GADGET=y
Maxime Ripard7f78b9d2017-09-07 08:58:08 +020052CONFIG_USB_GADGET_MANUFACTURER="AriesEmbedded"
53CONFIG_USB_GADGET_VENDOR_NUM=0x0525
54CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
Sam Protsenkob4a0bf72016-04-13 14:20:25 +030055CONFIG_USB_GADGET_ATMEL_USBA=y
Marek Vasut9a541bf2017-05-02 20:27:43 +020056CONFIG_USB_GADGET_DOWNLOAD=y
Maxime Ripard65849772017-09-06 23:23:21 +020057CONFIG_USB_ETHER=y
Tom Rini002ec482017-07-08 20:32:11 -040058CONFIG_FAT_WRITE=y
59CONFIG_OF_LIBFDT=y
60# CONFIG_EFI_LOADER is not set