| CONFIG_PCI=y |
| CONFIG_DEFAULT_DEVICE_TREE="sandbox" |
| CONFIG_FIT=y |
| CONFIG_FIT_VERBOSE=y |
| CONFIG_FIT_SIGNATURE=y |
| # CONFIG_CMD_IMLS is not set |
| # CONFIG_CMD_FLASH is not set |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_CMD_SOUND=y |
| CONFIG_BOOTSTAGE=y |
| CONFIG_BOOTSTAGE_REPORT=y |
| CONFIG_CMD_PMIC=y |
| CONFIG_CMD_REGULATOR=y |
| CONFIG_CMD_TPM=y |
| CONFIG_CMD_TPM_TEST=y |
| CONFIG_OF_CONTROL=y |
| CONFIG_OF_HOSTFILE=y |
| CONFIG_CLK=y |
| CONFIG_REGMAP=y |
| CONFIG_SYSCON=y |
| CONFIG_DEVRES=y |
| CONFIG_DM_PCI=y |
| CONFIG_PCI_SANDBOX=y |
| CONFIG_SPI_FLASH_SANDBOX=y |
| CONFIG_SPI_FLASH=y |
| CONFIG_CMD_CROS_EC=y |
| CONFIG_CROS_EC=y |
| CONFIG_CROS_EC_SANDBOX=y |
| CONFIG_RESET=y |
| CONFIG_DM_ETH=y |
| CONFIG_CROS_EC_KEYB=y |
| CONFIG_LED=y |
| CONFIG_LED_GPIO=y |
| CONFIG_SANDBOX_SERIAL=y |
| CONFIG_DM_TPM=y |
| CONFIG_TPM_TIS_SANDBOX=y |
| CONFIG_SYS_I2C_SANDBOX=y |
| CONFIG_SANDBOX_SPI=y |
| CONFIG_SANDBOX_GPIO=y |
| CONFIG_DM_PMIC=y |
| CONFIG_DM_PMIC_SANDBOX=y |
| CONFIG_DM_REGULATOR=y |
| CONFIG_DM_REGULATOR_SANDBOX=y |
| CONFIG_RAM=y |
| CONFIG_SOUND=y |
| CONFIG_SOUND_SANDBOX=y |
| CONFIG_USB=y |
| CONFIG_DM_USB=y |
| CONFIG_USB_EMUL=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_DM_MMC=y |
| CONFIG_DM_RTC=y |
| CONFIG_SYS_VSNPRINTF=y |
| CONFIG_CMD_DHRYSTONE=y |
| CONFIG_TPM=y |
| CONFIG_ERRNO_STR=y |
| CONFIG_UNIT_TEST=y |
| CONFIG_UT_TIME=y |
| CONFIG_UT_DM=y |
| CONFIG_UT_ENV=y |