1405d8205SBin MengCONFIG_X86=y 265c4ac0aSBin MengCONFIG_VENDOR_INTEL=y 3405d8205SBin MengCONFIG_DEFAULT_DEVICE_TREE="crownbay" 4bd328eb3SJoe HershbergerCONFIG_TARGET_CROWNBAY=y 5990acd0dSBin MengCONFIG_SMP=y 6990acd0dSBin MengCONFIG_MAX_CPUS=2 7*aeda4ab6SBin MengCONFIG_HAVE_VGA_BIOS=y 8afbf1404SBin MengCONFIG_GENERATE_PIRQ_TABLE=y 9*aeda4ab6SBin MengCONFIG_GENERATE_MP_TABLE=y 10990acd0dSBin MengCONFIG_CMD_CPU=y 11ef0f2f57SJoe Hershberger# CONFIG_CMD_IMLS is not set 12ef0f2f57SJoe Hershberger# CONFIG_CMD_FLASH is not set 13ef0f2f57SJoe Hershberger# CONFIG_CMD_SETEXPR is not set 14ef0f2f57SJoe Hershberger# CONFIG_CMD_NFS is not set 15c9bb942eSJoe HershbergerCONFIG_BOOTSTAGE=y 16c9bb942eSJoe HershbergerCONFIG_BOOTSTAGE_REPORT=y 17c9bb942eSJoe HershbergerCONFIG_CMD_BOOTSTAGE=y 18bd328eb3SJoe HershbergerCONFIG_OF_CONTROL=y 19990acd0dSBin MengCONFIG_CPU=y 20c9bb942eSJoe HershbergerCONFIG_SPI_FLASH=y 217aaff9bfSBin MengCONFIG_VIDEO_VESA=y 227aaff9bfSBin MengCONFIG_FRAMEBUFFER_SET_VESA_MODE=y 23b0014b64SBin MengCONFIG_DM_RTC=y 24*aeda4ab6SBin MengCONFIG_USE_PRIVATE_LIBGCC=y 25*aeda4ab6SBin MengCONFIG_SYS_VSNPRINTF=y 26