1405d8205SBin MengCONFIG_X86=y 265c4ac0aSBin MengCONFIG_VENDOR_INTEL=y 3405d8205SBin MengCONFIG_DEFAULT_DEVICE_TREE="crownbay" 4bd328eb3SJoe HershbergerCONFIG_TARGET_CROWNBAY=y 5afbf1404SBin MengCONFIG_GENERATE_PIRQ_TABLE=y 6*ef0f2f57SJoe Hershberger# CONFIG_CMD_IMLS is not set 7*ef0f2f57SJoe Hershberger# CONFIG_CMD_FLASH is not set 8*ef0f2f57SJoe Hershberger# CONFIG_CMD_SETEXPR is not set 9*ef0f2f57SJoe Hershberger# CONFIG_CMD_NFS is not set 10c9bb942eSJoe HershbergerCONFIG_BOOTSTAGE=y 11c9bb942eSJoe HershbergerCONFIG_BOOTSTAGE_REPORT=y 12c9bb942eSJoe HershbergerCONFIG_CMD_BOOTSTAGE=y 13bd328eb3SJoe HershbergerCONFIG_OF_CONTROL=y 14c9bb942eSJoe HershbergerCONFIG_SPI_FLASH=y 15c9bb942eSJoe HershbergerCONFIG_USE_PRIVATE_LIBGCC=y 16c9bb942eSJoe HershbergerCONFIG_SYS_VSNPRINTF=y 17