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