blob: 8424714a7d3c56a1f6b0b9f892837cdba52151f0 [file] [log] [blame]
Stefan Roese77692eb2016-08-15 13:50:59 +02001CONFIG_X86=y
Stefan Roese77692eb2016-08-15 13:50:59 +02002CONFIG_VENDOR_DFI=y
3CONFIG_DEFAULT_DEVICE_TREE="theadorable-x86-dfi-bt700"
4CONFIG_TARGET_DFI_BT700=y
5CONFIG_HAVE_INTEL_ME=y
6CONFIG_ENABLE_MRC_CACHE=y
7CONFIG_SMP=y
8CONFIG_HAVE_VGA_BIOS=y
9CONFIG_GENERATE_PIRQ_TABLE=y
10CONFIG_GENERATE_MP_TABLE=y
11CONFIG_GENERATE_ACPI_TABLE=y
12CONFIG_SEABIOS=y
13CONFIG_FIT=y
14CONFIG_FIT_SIGNATURE=y
15CONFIG_BOOTSTAGE=y
16CONFIG_BOOTSTAGE_REPORT=y
Simon Glassbd5618d2016-10-17 20:13:00 -060017CONFIG_SYS_CONSOLE_INFO_QUIET=y
Simon Glass62adede2017-01-23 13:31:19 -070018# CONFIG_ARCH_EARLY_INIT_R is not set
Stefan Roese77692eb2016-08-15 13:50:59 +020019CONFIG_HUSH_PARSER=y
20CONFIG_CMD_CPU=y
21# CONFIG_CMD_IMLS is not set
22# CONFIG_CMD_FLASH is not set
23CONFIG_CMD_MMC=y
Patrick Delaunay73287092017-01-27 11:00:42 +010024CONFIG_CMD_PART=y
Stefan Roese77692eb2016-08-15 13:50:59 +020025CONFIG_CMD_SF=y
26CONFIG_CMD_SPI=y
27CONFIG_CMD_USB=y
28CONFIG_CMD_GPIO=y
29# CONFIG_CMD_SETEXPR is not set
30CONFIG_CMD_DHCP=y
31# CONFIG_CMD_NFS is not set
32CONFIG_CMD_PING=y
33CONFIG_CMD_TIME=y
34CONFIG_CMD_BOOTSTAGE=y
35CONFIG_CMD_EXT2=y
36CONFIG_CMD_EXT4=y
37CONFIG_CMD_EXT4_WRITE=y
38CONFIG_CMD_FAT=y
39CONFIG_CMD_FS_GENERIC=y
Patrick Delaunayc4bbbec2017-01-27 11:00:36 +010040CONFIG_MAC_PARTITION=y
Patrick Delaunay21d3bce2017-01-27 11:00:38 +010041CONFIG_ISO_PARTITION=y
Patrick Delaunay8a4f2bd2017-01-27 11:00:41 +010042CONFIG_EFI_PARTITION=y
Stefan Roese77692eb2016-08-15 13:50:59 +020043CONFIG_OF_CONTROL=y
44CONFIG_REGMAP=y
45CONFIG_SYSCON=y
46CONFIG_CPU=y
Tom Riniafea41d2016-09-08 16:11:59 -040047CONFIG_DM_I2C=y
Stefan Roese77692eb2016-08-15 13:50:59 +020048CONFIG_NUVOTON_NCT6102D=y
Patrick Delaunay73287092017-01-27 11:00:42 +010049CONFIG_MMC=y
Felipe Balbiecf7dfd2017-02-20 14:24:13 +030050CONFIG_MMC_PCI=y
Masahiro Yamada7db8c172016-12-07 22:10:28 +090051CONFIG_MMC_SDHCI=y
Masahiro Yamada124f6ce2016-12-07 22:10:29 +090052CONFIG_MMC_SDHCI_SDMA=y
Stefan Roese77692eb2016-08-15 13:50:59 +020053CONFIG_SPI_FLASH=y
54CONFIG_SPI_FLASH_GIGADEVICE=y
55CONFIG_SPI_FLASH_MACRONIX=y
56CONFIG_SPI_FLASH_STMICRO=y
57CONFIG_SPI_FLASH_WINBOND=y
58CONFIG_DM_ETH=y
59CONFIG_E1000=y
60CONFIG_DM_PCI=y
61CONFIG_DM_RTC=y
62CONFIG_SYS_NS16550=y
63CONFIG_ICH_SPI=y
64CONFIG_TIMER=y
Stefan Roese77692eb2016-08-15 13:50:59 +020065CONFIG_DM_USB=y
Tom Rini6e9cb112016-09-08 16:31:26 -040066CONFIG_USB_STORAGE=y
Simon Glass049f06a2016-10-17 20:13:01 -060067CONFIG_USB_KEYBOARD=y
Masahiro Yamada74f09b82016-12-07 22:10:25 +090068CONFIG_DM_VIDEO=y
Stefan Roese77692eb2016-08-15 13:50:59 +020069CONFIG_VIDEO_VESA=y
70CONFIG_FRAMEBUFFER_SET_VESA_MODE=y
71CONFIG_FRAMEBUFFER_VESA_MODE_114=y
Simon Glassd76f29a2016-10-17 20:12:57 -060072CONFIG_CONSOLE_SCROLL_LINES=5
Stefan Roese77692eb2016-08-15 13:50:59 +020073CONFIG_USE_PRIVATE_LIBGCC=y