blob: 8322ed72dae9755918007cfb9145028726585cbf [file] [log] [blame]
Marek Vasutc21c28b2016-02-11 14:13:38 +01001CONFIG_ARM=y
2CONFIG_ARCH_AT91=y
Tom Rini278b90c2018-02-03 12:10:38 -05003CONFIG_SYS_TEXT_BASE=0x26f00000
Marek Vasutc21c28b2016-02-11 14:13:38 +01004CONFIG_TARGET_MA5D4EVK=y
Simon Glass53b5bf32016-09-12 23:18:39 -06005CONFIG_SPL_GPIO_SUPPORT=y
Simon Glass77d2f7f2016-09-12 23:18:41 -06006CONFIG_SPL_LIBCOMMON_SUPPORT=y
Simon Glasscc4288e2016-09-12 23:18:43 -06007CONFIG_SPL_LIBGENERIC_SUPPORT=y
Simon Glasse00f76c2016-09-12 23:18:56 -06008CONFIG_SPL_SERIAL_SUPPORT=y
Simon Glasse404ade2016-09-12 23:18:57 -06009CONFIG_SPL_SPI_FLASH_SUPPORT=y
Simon Glassf35ed9e2016-09-12 23:18:58 -060010CONFIG_SPL_SPI_SUPPORT=y
Adam Fordd021e942018-02-06 07:58:59 -060011CONFIG_ENV_VARS_UBOOT_CONFIG=y
Simon Glass73223f02016-02-22 22:55:43 -070012CONFIG_FIT=y
Heiko Schocherbb597c02016-06-07 08:31:14 +020013CONFIG_BOOTDELAY=3
Sam Protsenko5abc1a42017-08-14 20:22:17 +030014CONFIG_USE_BOOTARGS=y
15CONFIG_BOOTARGS="console=ttyS3,115200"
Heiko Schocher9dd1d0a2016-09-09 08:12:49 +020016CONFIG_VERSION_VARIABLE=y
Lokesh Vutla84351792016-10-11 21:33:46 -040017# CONFIG_DISPLAY_BOARDINFO is not set
Simon Glassa5d67542017-01-23 13:31:20 -070018CONFIG_BOARD_EARLY_INIT_F=y
Simon Glassc2ae7d82016-09-12 23:18:22 -060019CONFIG_SPL=y
Tom Riniadad96e2016-04-21 21:37:19 -040020CONFIG_HUSH_PARSER=y
Tom Rini89cb2b52016-04-24 17:29:26 -040021CONFIG_CMD_BOOTZ=y
Marek Vasutc21c28b2016-02-11 14:13:38 +010022# CONFIG_CMD_IMI is not set
Tom Rini89cb2b52016-04-24 17:29:26 -040023CONFIG_CMD_ASKENV=y
24CONFIG_CMD_GREPENV=y
Tom Rini88663122017-08-14 19:58:53 -040025CONFIG_CMD_DFU=y
Marek Vasutc21c28b2016-02-11 14:13:38 +010026# CONFIG_CMD_FLASH is not set
Tom Rini88663122017-08-14 19:58:53 -040027# CONFIG_CMD_LOADS is not set
Tom Rini89cb2b52016-04-24 17:29:26 -040028CONFIG_CMD_MMC=y
Tom Rini78d1e1d2016-04-22 16:41:25 -040029CONFIG_CMD_SF=y
30CONFIG_CMD_USB=y
Tom Rinide88e4b2017-07-08 20:32:11 -040031CONFIG_CMD_USB_MASS_STORAGE=y
Tom Rini78d1e1d2016-04-22 16:41:25 -040032CONFIG_CMD_DHCP=y
Tom Rini89cb2b52016-04-24 17:29:26 -040033CONFIG_CMD_MII=y
Tom Rini78d1e1d2016-04-22 16:41:25 -040034CONFIG_CMD_PING=y
Tom Rini89cb2b52016-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 Rini5dc4dfd2017-08-28 07:16:32 -040040CONFIG_ENV_IS_IN_MMC=y
Tom Rinide88e4b2017-07-08 20:32:11 -040041CONFIG_NET_RANDOM_ETHADDR=y
Adam Fordd021e942018-02-06 07:58:59 -060042CONFIG_BOOTP_BOOTPATH=y
43CONFIG_BOOTP_GATEWAY=y
44CONFIG_BOOTP_HOSTNAME=y
Tom Rinide88e4b2017-07-08 20:32:11 -040045CONFIG_DFU_MMC=y
46CONFIG_DFU_SF=y
Marek Vasutc21c28b2016-02-11 14:13:38 +010047CONFIG_SPI_FLASH=y
Sam Protsenkof9d0fd82016-03-25 16:39:47 +020048CONFIG_USB=y
Tom Rini64d6ac52017-05-12 22:33:28 -040049CONFIG_USB_EHCI_HCD=y
Tom Rini645176d2016-09-08 16:31:26 -040050CONFIG_USB_STORAGE=y
Sam Protsenkof9d0fd82016-03-25 16:39:47 +020051CONFIG_USB_GADGET=y
Maxime Riparda95aee62017-09-07 08:58:08 +020052CONFIG_USB_GADGET_MANUFACTURER="AriesEmbedded"
53CONFIG_USB_GADGET_VENDOR_NUM=0x0525
54CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
Sam Protsenko3457bba2016-04-13 14:20:25 +030055CONFIG_USB_GADGET_ATMEL_USBA=y
Marek Vasutcdc12ee2017-05-02 20:27:43 +020056CONFIG_USB_GADGET_DOWNLOAD=y
Maxime Ripard3f33d3c2017-09-06 23:23:21 +020057CONFIG_USB_ETHER=y
Tom Rinide88e4b2017-07-08 20:32:11 -040058CONFIG_FAT_WRITE=y
59CONFIG_OF_LIBFDT=y
60# CONFIG_EFI_LOADER is not set