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