blob: cde33bbfe1f39c1d142f5cae95ec27a9451ea694 [file] [log] [blame]
Stefan Roese27daffe2016-08-15 13:50:59 +02001CONFIG_X86=y
Stefan Roese27daffe2016-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 Glassf3f3eff2016-10-17 20:13:00 -060017CONFIG_SYS_CONSOLE_INFO_QUIET=y
Simon Glassa4211922017-01-23 13:31:19 -070018# CONFIG_ARCH_EARLY_INIT_R is not set
Stefan Roese27daffe2016-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 Delaunayb331cd62017-01-27 11:00:42 +010024CONFIG_CMD_PART=y
Stefan Roese27daffe2016-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 Delaunayf18fa312017-01-27 11:00:36 +010040CONFIG_MAC_PARTITION=y
Patrick Delaunay1acc0082017-01-27 11:00:38 +010041CONFIG_ISO_PARTITION=y
Patrick Delaunaybd42a942017-01-27 11:00:41 +010042CONFIG_EFI_PARTITION=y
Stefan Roese27daffe2016-08-15 13:50:59 +020043CONFIG_OF_CONTROL=y
44CONFIG_REGMAP=y
45CONFIG_SYSCON=y
46CONFIG_CPU=y
Tom Riniaca5cd22016-09-08 16:11:59 -040047CONFIG_DM_I2C=y
Stefan Roese27daffe2016-08-15 13:50:59 +020048CONFIG_NUVOTON_NCT6102D=y
Patrick Delaunayb331cd62017-01-27 11:00:42 +010049CONFIG_MMC=y
Masahiro Yamadae1ce61f2016-12-07 22:10:28 +090050CONFIG_MMC_SDHCI=y
Masahiro Yamada45a68fe2016-12-07 22:10:29 +090051CONFIG_MMC_SDHCI_SDMA=y
Stefan Roese27daffe2016-08-15 13:50:59 +020052CONFIG_SPI_FLASH=y
53CONFIG_SPI_FLASH_GIGADEVICE=y
54CONFIG_SPI_FLASH_MACRONIX=y
55CONFIG_SPI_FLASH_STMICRO=y
56CONFIG_SPI_FLASH_WINBOND=y
57CONFIG_DM_ETH=y
58CONFIG_E1000=y
59CONFIG_DM_PCI=y
60CONFIG_DM_RTC=y
61CONFIG_SYS_NS16550=y
62CONFIG_ICH_SPI=y
63CONFIG_TIMER=y
64CONFIG_USB=y
65CONFIG_DM_USB=y
Tom Rini645176d2016-09-08 16:31:26 -040066CONFIG_USB_STORAGE=y
Simon Glass4ef6ece2016-10-17 20:13:01 -060067CONFIG_USB_KEYBOARD=y
Masahiro Yamada18780952016-12-07 22:10:25 +090068CONFIG_DM_VIDEO=y
Stefan Roese27daffe2016-08-15 13:50:59 +020069CONFIG_VIDEO_VESA=y
70CONFIG_FRAMEBUFFER_SET_VESA_MODE=y
71CONFIG_FRAMEBUFFER_VESA_MODE_114=y
Simon Glassb87ca802016-10-17 20:12:57 -060072CONFIG_CONSOLE_SCROLL_LINES=5
Stefan Roese27daffe2016-08-15 13:50:59 +020073CONFIG_USE_PRIVATE_LIBGCC=y