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