| CONFIG_NO_HZ_IDLE=y |
| CONFIG_CGROUPS=y |
| CONFIG_BLK_DEV_INITRD=y |
| CONFIG_PCI=y |
| CONFIG_PCI_HOST_GENERIC=y |
| CONFIG_PARAVIRT=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_AMBA_PL011=y |
| CONFIG_SERIAL_AMBA_PL011_CONSOLE=y |
| CONFIG_VIRTIO_CONSOLE=y |
| 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 |