| CONFIG_CPUFREQ_DUMMY=m | |
| CONFIG_BINFMT_MISC=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_TEST_STACKINIT=m | |
| CONFIG_TEST_MEMINIT=m | |
| CONFIG_SDCARD_FS=m |