2016-02-11 14:13:38 +01:00
|
|
|
CONFIG_ARM=y
|
|
|
|
CONFIG_ARCH_AT91=y
|
|
|
|
CONFIG_TARGET_MA5D4EVK=y
|
|
|
|
CONFIG_SPL=y
|
2016-02-22 22:55:43 -07:00
|
|
|
CONFIG_FIT=y
|
2016-02-11 14:13:38 +01:00
|
|
|
CONFIG_SYS_EXTRA_OPTIONS="SAMA5D4"
|
2016-06-07 08:31:14 +02:00
|
|
|
CONFIG_BOOTDELAY=3
|
2016-04-21 21:37:19 -04:00
|
|
|
CONFIG_HUSH_PARSER=y
|
2016-04-24 17:29:26 -04:00
|
|
|
CONFIG_CMD_BOOTZ=y
|
2016-02-11 14:13:38 +01:00
|
|
|
# CONFIG_CMD_IMI is not set
|
|
|
|
# CONFIG_CMD_IMLS is not set
|
2016-04-24 17:29:26 -04:00
|
|
|
CONFIG_CMD_ASKENV=y
|
|
|
|
CONFIG_CMD_GREPENV=y
|
2016-02-11 14:13:38 +01:00
|
|
|
# CONFIG_CMD_LOADS is not set
|
|
|
|
# CONFIG_CMD_FLASH is not set
|
2016-04-24 17:29:26 -04:00
|
|
|
CONFIG_CMD_MMC=y
|
2016-04-22 16:41:25 -04:00
|
|
|
CONFIG_CMD_SF=y
|
|
|
|
CONFIG_CMD_USB=y
|
2016-02-11 14:13:38 +01:00
|
|
|
# CONFIG_CMD_FPGA is not set
|
2016-04-22 16:41:25 -04:00
|
|
|
CONFIG_CMD_DHCP=y
|
2016-04-24 17:29:26 -04:00
|
|
|
CONFIG_CMD_MII=y
|
2016-04-22 16:41:25 -04:00
|
|
|
CONFIG_CMD_PING=y
|
2016-04-24 17:29:26 -04:00
|
|
|
CONFIG_CMD_CACHE=y
|
|
|
|
CONFIG_CMD_EXT4=y
|
|
|
|
CONFIG_CMD_EXT4_WRITE=y
|
|
|
|
CONFIG_CMD_FAT=y
|
|
|
|
CONFIG_CMD_FS_GENERIC=y
|
2016-02-11 14:13:38 +01:00
|
|
|
CONFIG_SPI_FLASH=y
|
2016-03-25 16:39:47 +02:00
|
|
|
CONFIG_USB=y
|
|
|
|
CONFIG_USB_GADGET=y
|
2016-04-13 14:20:25 +03:00
|
|
|
CONFIG_USB_GADGET_ATMEL_USBA=y
|
2016-04-06 20:28:03 +02:00
|
|
|
CONFIG_OF_LIBFDT=y
|
|
|
|
# CONFIG_EFI_LOADER is not set
|