1CONFIG_X86=y
2CONFIG_SYS_TEXT_BASE=0x1101000
3CONFIG_NR_DRAM_BANKS=3
4CONFIG_ENV_SIZE=0x10000
5CONFIG_ENV_OFFSET=0x300000
6CONFIG_ENV_OFFSET_REDUND=0x600000
7CONFIG_DEFAULT_DEVICE_TREE="edison"
8CONFIG_VENDOR_INTEL=y
9CONFIG_TARGET_EDISON=y
10CONFIG_SMP=y
11CONFIG_GENERATE_ACPI_TABLE=y
12CONFIG_BOARD_EARLY_INIT_R=y
13CONFIG_LAST_STAGE_INIT=y
14CONFIG_HUSH_PARSER=y
15CONFIG_CMD_CPU=y
16CONFIG_CMD_ASKENV=y
17CONFIG_CMD_GREPENV=y
18CONFIG_CMD_ENV_CALLBACK=y
19CONFIG_CMD_ENV_FLAGS=y
20CONFIG_CMD_MEMINFO=y
21CONFIG_CMD_DFU=y
22CONFIG_CMD_GPT=y
23CONFIG_CMD_MMC=y
24CONFIG_CMD_PART=y
25# CONFIG_CMD_NFS is not set
26CONFIG_CMD_TIMER=y
27CONFIG_CMD_HASH=y
28CONFIG_CMD_EXT4=y
29CONFIG_CMD_EXT4_WRITE=y
30CONFIG_CMD_FAT=y
31CONFIG_CMD_FS_GENERIC=y
32CONFIG_ENV_IS_IN_MMC=y
33CONFIG_SYS_REDUNDAND_ENVIRONMENT=y
34CONFIG_SYS_RELOC_GD_ENV_ADDR=y
35CONFIG_CPU=y
36CONFIG_DFU_TIMEOUT=y
37CONFIG_DFU_MMC=y
38CONFIG_DFU_RAM=y
39CONFIG_SUPPORT_EMMC_BOOT=y
40CONFIG_DM_USB_GADGET=y
41CONFIG_USB_GADGET=y
42CONFIG_USB_GADGET_MANUFACTURER="Intel"
43CONFIG_USB_GADGET_VENDOR_NUM=0x8087
44CONFIG_USB_GADGET_PRODUCT_NUM=0x0a99
45CONFIG_USB_GADGET_DOWNLOAD=y
46# CONFIG_USB_HOST_ETHER is not set
47CONFIG_WDT=y
48CONFIG_WDT_TANGIER=y
49CONFIG_SHA1=y
50