| CONFIG_CGROUPS=y |
| CONFIG_BLK_DEV_INITRD=y |
| CONFIG_SMP=y |
| CONFIG_X86_X2APIC=y |
| CONFIG_HYPERVISOR_GUEST=y |
| CONFIG_PARAVIRT=y |
| CONFIG_KEXEC=y |
| CONFIG_NET=y |
| CONFIG_UNIX=y |
| CONFIG_VSOCKETS=y |
| CONFIG_VIRTIO_VSOCKETS=y |
| CONFIG_DEVTMPFS=y |
| CONFIG_DEVTMPFS_MOUNT=y |
| CONFIG_VIRTIO_BLK=y |
| CONFIG_NETDEVICES=y |
| CONFIG_VIRTIO_NET=y |
| # CONFIG_LEGACY_PTYS is not set |
| CONFIG_SERIAL_8250=y |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_SERIAL_8250_NR_UARTS=1 |
| CONFIG_SERIAL_8250_RUNTIME_UARTS=1 |
| CONFIG_VIRTIO_CONSOLE=y |
| # CONFIG_PTP_1588_CLOCK is not set |
| CONFIG_DRM=y |
| CONFIG_DRM_VIRTIO_GPU=y |
| CONFIG_VIRTIO_PCI=y |
| CONFIG_VIRTIO_BALLOON=y |
| CONFIG_VIRTIO_INPUT=y |
| CONFIG_EXT2_FS=y |
| CONFIG_EXT4_FS=y |
| CONFIG_TMPFS=y |
