2017-07-06 11:41:53 +00:00
|
|
|
CONFIG_X86=y
|
2018-02-03 17:10:38 +00:00
|
|
|
CONFIG_SYS_TEXT_BASE=0x1101000
|
2021-11-01 12:19:22 +00:00
|
|
|
CONFIG_SYS_MALLOC_LEN=0x8000000
|
2020-08-10 19:31:07 +00:00
|
|
|
CONFIG_NR_DRAM_BANKS=3
|
2019-11-19 01:02:10 +00:00
|
|
|
CONFIG_ENV_SIZE=0x10000
|
|
|
|
CONFIG_ENV_OFFSET=0x300000
|
2020-07-28 12:46:52 +00:00
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="edison"
|
2021-06-28 14:17:29 +00:00
|
|
|
CONFIG_ENV_OFFSET_REDUND=0x600000
|
2017-07-06 11:41:53 +00:00
|
|
|
CONFIG_VENDOR_INTEL=y
|
|
|
|
CONFIG_TARGET_EDISON=y
|
|
|
|
CONFIG_SMP=y
|
2021-08-23 14:25:31 +00:00
|
|
|
CONFIG_SYS_LOAD_ADDR=0x100000
|
2019-06-25 20:52:04 +00:00
|
|
|
CONFIG_BOARD_EARLY_INIT_R=y
|
2018-03-28 12:38:16 +00:00
|
|
|
CONFIG_LAST_STAGE_INIT=y
|
2017-07-06 11:41:53 +00:00
|
|
|
CONFIG_HUSH_PARSER=y
|
|
|
|
CONFIG_CMD_CPU=y
|
|
|
|
CONFIG_CMD_ASKENV=y
|
|
|
|
CONFIG_CMD_GREPENV=y
|
|
|
|
CONFIG_CMD_ENV_CALLBACK=y
|
|
|
|
CONFIG_CMD_ENV_FLAGS=y
|
|
|
|
CONFIG_CMD_MEMINFO=y
|
2017-08-14 23:58:53 +00:00
|
|
|
CONFIG_CMD_DFU=y
|
2017-07-06 11:41:53 +00:00
|
|
|
CONFIG_CMD_GPT=y
|
|
|
|
CONFIG_CMD_MMC=y
|
|
|
|
CONFIG_CMD_PART=y
|
|
|
|
# CONFIG_CMD_NFS is not set
|
|
|
|
CONFIG_CMD_TIMER=y
|
|
|
|
CONFIG_CMD_HASH=y
|
|
|
|
CONFIG_CMD_EXT4=y
|
|
|
|
CONFIG_CMD_EXT4_WRITE=y
|
|
|
|
CONFIG_CMD_FAT=y
|
|
|
|
CONFIG_CMD_FS_GENERIC=y
|
2017-08-03 18:21:59 +00:00
|
|
|
CONFIG_ENV_IS_IN_MMC=y
|
2019-11-10 16:28:03 +00:00
|
|
|
CONFIG_SYS_REDUNDAND_ENVIRONMENT=y
|
2019-11-13 03:46:36 +00:00
|
|
|
CONFIG_SYS_RELOC_GD_ENV_ADDR=y
|
2017-07-06 11:41:53 +00:00
|
|
|
CONFIG_CPU=y
|
2019-11-27 16:12:16 +00:00
|
|
|
CONFIG_DFU_TIMEOUT=y
|
2017-07-06 11:41:53 +00:00
|
|
|
CONFIG_DFU_MMC=y
|
|
|
|
CONFIG_DFU_RAM=y
|
2019-05-01 07:58:27 +00:00
|
|
|
CONFIG_SUPPORT_EMMC_BOOT=y
|
2020-12-03 17:45:02 +00:00
|
|
|
CONFIG_DM_USB_GADGET=y
|
2021-07-27 01:10:37 +00:00
|
|
|
# CONFIG_USB_HOST_ETHER is not set
|
2017-07-06 11:41:53 +00:00
|
|
|
CONFIG_USB_GADGET=y
|
2017-09-07 06:58:08 +00:00
|
|
|
CONFIG_USB_GADGET_MANUFACTURER="Intel"
|
|
|
|
CONFIG_USB_GADGET_VENDOR_NUM=0x8087
|
|
|
|
CONFIG_USB_GADGET_PRODUCT_NUM=0x0a99
|
2017-10-17 01:35:43 +00:00
|
|
|
CONFIG_USB_GADGET_DOWNLOAD=y
|
2019-06-21 10:28:08 +00:00
|
|
|
CONFIG_WDT=y
|
|
|
|
CONFIG_WDT_TANGIER=y
|
2022-01-31 14:18:49 +00:00
|
|
|
CONFIG_GENERATE_ACPI_TABLE=y
|
2017-07-06 11:41:53 +00:00
|
|
|
CONFIG_SHA1=y
|