| CONFIG_CPUFREQ_DUMMY=m |
| CONFIG_VSOCKETS=m |
| CONFIG_VIRTIO_VSOCKETS=m |
| CONFIG_GNSS_CMDLINE_SERIAL=m |
| CONFIG_VIRTIO_BLK=m |
| CONFIG_VIRTIO_NET=m |
| CONFIG_VIRT_WIFI=m |
| CONFIG_HW_RANDOM_VIRTIO=m |
| CONFIG_DRM_VIRTIO_GPU=m |
| CONFIG_SND_INTEL8X0=m |
| CONFIG_USB_DUMMY_HCD=m |
| CONFIG_RTC_DRV_TEST=m |
| CONFIG_VIRTIO_PCI=m |
| CONFIG_VIRTIO_PMEM=m |
| CONFIG_VIRTIO_INPUT=m |
| CONFIG_VIRTIO_MMIO=m |
| CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y |
| CONFIG_ION=m |
| CONFIG_ION_SYSTEM_HEAP=y |
| CONFIG_TEST_STACKINIT=m |
| CONFIG_TEST_MEMINIT=m |
| CONFIG_SDCARD_FS=m |
| CONFIG_TCG_TPM=m |
| CONFIG_TCG_VTPM_PROXY=m |