2016-02-29 12:33:22 +00:00
|
|
|
CONFIG_ARM=y
|
|
|
|
CONFIG_ARCH_MX7=y
|
2018-02-03 17:10:38 +00:00
|
|
|
CONFIG_SYS_TEXT_BASE=0x87800000
|
2018-06-04 15:57:37 +00:00
|
|
|
CONFIG_SECURE_BOOT=y
|
2016-02-29 12:33:22 +00:00
|
|
|
CONFIG_TARGET_WARP7=y
|
2018-04-24 17:44:30 +00:00
|
|
|
CONFIG_ARMV7_BOOT_SEC_DEFAULT=y
|
2016-07-13 07:25:41 +00:00
|
|
|
# CONFIG_ARMV7_VIRT is not set
|
2016-02-29 12:33:22 +00:00
|
|
|
CONFIG_IMX_RDC=y
|
|
|
|
CONFIG_IMX_BOOTAUX=y
|
2018-08-16 12:16:24 +00:00
|
|
|
CONFIG_NR_DRAM_BANKS=1
|
2016-02-29 12:33:22 +00:00
|
|
|
CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=board/warp7/imximage.cfg"
|
2016-04-22 01:37:19 +00:00
|
|
|
CONFIG_HUSH_PARSER=y
|
2016-02-29 12:33:22 +00:00
|
|
|
# CONFIG_CMD_BOOTD is not set
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_BOOTZ=y
|
2016-02-29 12:33:22 +00:00
|
|
|
# CONFIG_CMD_IMI is not set
|
|
|
|
# CONFIG_CMD_XIMG is not set
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_MEMTEST=y
|
2017-08-14 23:58:53 +00:00
|
|
|
CONFIG_CMD_DFU=y
|
|
|
|
CONFIG_CMD_GPIO=y
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_MMC=y
|
2017-01-27 10:00:42 +00:00
|
|
|
CONFIG_CMD_PART=y
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_USB=y
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_USB_MASS_STORAGE=y
|
2017-01-21 10:48:33 +00:00
|
|
|
CONFIG_CMD_DHCP=y
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_CACHE=y
|
|
|
|
CONFIG_CMD_EXT2=y
|
|
|
|
CONFIG_CMD_EXT4=y
|
|
|
|
CONFIG_CMD_EXT4_WRITE=y
|
|
|
|
CONFIG_CMD_FAT=y
|
2018-03-31 22:49:05 +00:00
|
|
|
CONFIG_CMD_FS_GENERIC=y
|
2017-01-21 10:48:33 +00:00
|
|
|
CONFIG_NET_RANDOM_ETHADDR=y
|
2016-09-19 17:31:30 +00:00
|
|
|
CONFIG_DFU_MMC=y
|
2018-03-28 12:38:19 +00:00
|
|
|
CONFIG_FSL_ESDHC=y
|
2016-07-13 07:25:36 +00:00
|
|
|
CONFIG_USB=y
|
2016-09-08 20:11:59 +00:00
|
|
|
CONFIG_USB_EHCI_HCD=y
|
|
|
|
CONFIG_MXC_USB_OTG_HACTIVE=y
|
2016-09-08 20:31:26 +00:00
|
|
|
CONFIG_USB_STORAGE=y
|
2016-07-22 18:29:30 +00:00
|
|
|
CONFIG_USB_GADGET=y
|
2017-09-07 06:58:08 +00:00
|
|
|
CONFIG_USB_GADGET_MANUFACTURER="FSL"
|
|
|
|
CONFIG_USB_GADGET_VENDOR_NUM=0x0525
|
|
|
|
CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
|
2016-07-22 18:29:30 +00:00
|
|
|
CONFIG_CI_UDC=y
|
|
|
|
CONFIG_USB_GADGET_DOWNLOAD=y
|
2017-09-06 21:23:21 +00:00
|
|
|
CONFIG_USB_ETHER=y
|
2017-09-07 06:46:14 +00:00
|
|
|
CONFIG_USB_ETH_CDC=y
|
2017-09-06 20:53:43 +00:00
|
|
|
CONFIG_USBNET_HOST_ADDR="de:ad:be:af:00:00"
|
2016-05-10 16:31:40 +00:00
|
|
|
CONFIG_OF_LIBFDT=y
|
2018-04-24 17:46:34 +00:00
|
|
|
CONFIG_OPTEE=y
|
2018-09-05 10:56:06 +00:00
|
|
|
CONFIG_OPTEE_TZDRAM_SIZE=0x3000000
|
|
|
|
CONFIG_OPTEE_TZDRAM_BASE=0x9d000000
|
2018-04-24 17:46:37 +00:00
|
|
|
CONFIG_OPTEE_LOAD_ADDR=0x84000000
|
2018-04-24 17:46:39 +00:00
|
|
|
CONFIG_BOOTM_OPTEE=y
|