blob: 17e6a72c9d9bad77c62c8441a58a1b323878e27d [file] [log] [blame]
Bin Mengef4dc7e2014-12-17 15:50:41 +08001CONFIG_X86=y
Bin Meng03b341b2015-04-27 23:22:24 +08002CONFIG_VENDOR_INTEL=y
Bin Mengef4dc7e2014-12-17 15:50:41 +08003CONFIG_DEFAULT_DEVICE_TREE="crownbay"
Joe Hershbergera274ded2015-05-12 14:46:24 -05004CONFIG_TARGET_CROWNBAY=y
Bin Meng3916df52015-06-17 11:15:39 +08005CONFIG_SMP=y
6CONFIG_MAX_CPUS=2
Bin Meng519dee02015-07-09 18:37:40 +08007CONFIG_HAVE_VGA_BIOS=y
Bin Meng15305362015-04-24 18:10:06 +08008CONFIG_GENERATE_PIRQ_TABLE=y
Bin Meng519dee02015-07-09 18:37:40 +08009CONFIG_GENERATE_MP_TABLE=y
Bin Meng3916df52015-06-17 11:15:39 +080010CONFIG_CMD_CPU=y
Joe Hershberger5a9d7f12015-06-22 16:15:30 -050011# CONFIG_CMD_IMLS is not set
12# CONFIG_CMD_FLASH is not set
13# CONFIG_CMD_SETEXPR is not set
14# CONFIG_CMD_NFS is not set
Joe Hershberger17491a82015-06-22 16:15:29 -050015CONFIG_BOOTSTAGE=y
16CONFIG_BOOTSTAGE_REPORT=y
17CONFIG_CMD_BOOTSTAGE=y
Joe Hershbergera274ded2015-05-12 14:46:24 -050018CONFIG_OF_CONTROL=y
Bin Meng3916df52015-06-17 11:15:39 +080019CONFIG_CPU=y
Joe Hershberger17491a82015-06-22 16:15:29 -050020CONFIG_SPI_FLASH=y
Bin Meng45e3e812015-07-06 16:31:35 +080021CONFIG_VIDEO_VESA=y
22CONFIG_FRAMEBUFFER_SET_VESA_MODE=y
Bin Meng8800c412015-06-23 12:18:43 +080023CONFIG_DM_RTC=y
Bin Meng519dee02015-07-09 18:37:40 +080024CONFIG_USE_PRIVATE_LIBGCC=y
25CONFIG_SYS_VSNPRINTF=y