| 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_SND_INTEL8X0=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_TEST_STACKINIT=m | |
| CONFIG_TEST_MEMINIT=m | |
| CONFIG_TCG_TPM=m | |
| CONFIG_TCG_VTPM_PROXY=m | |
| CONFIG_INCREMENTAL_FS=m | |
| CONFIG_VIRTIO_CONSOLE=m |