| CONFIG_DM_USB=y |
| CONFIG_PCI=y |
| CONFIG_SYS_VSNPRINTF=y |
| CONFIG_DEFAULT_DEVICE_TREE="sandbox" |
| CONFIG_BOOTSTAGE=y |
| CONFIG_BOOTSTAGE_REPORT=y |
| CONFIG_FIT=y |
| CONFIG_FIT_VERBOSE=y |
| CONFIG_FIT_SIGNATURE=y |
| CONFIG_CMD_SOUND=y |
| CONFIG_OF_CONTROL=y |
| CONFIG_OF_HOSTFILE=y |
| CONFIG_DM_PCI=y |
| CONFIG_PCI_SANDBOX=y |
| CONFIG_SPI_FLASH_SANDBOX=y |
| CONFIG_CMD_CROS_EC=y |
| CONFIG_CROS_EC=y |
| CONFIG_CROS_EC_SANDBOX=y |
| CONFIG_CROS_EC_KEYB=y |
| CONFIG_TPM_TIS_SANDBOX=y |
| CONFIG_SYS_I2C_SANDBOX=y |
| CONFIG_SANDBOX_SPI=y |
| CONFIG_SANDBOX_GPIO=y |
| CONFIG_SOUND=y |
| CONFIG_SOUND_SANDBOX=y |
| CONFIG_USB=y |
| CONFIG_USB_EMUL=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_DM_RTC=y |
| CONFIG_CMD_UT_TIME=y |