| CONFIG_SYSVIPC=y |
| CONFIG_MODULES=y |
| CONFIG_MODULE_UNLOAD=y |
| CONFIG_SMP=y |
| CONFIG_HYPERVISOR_GUEST=y |
| CONFIG_PARAVIRT=y |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_UNIX=y |
| CONFIG_INET=y |
| CONFIG_VIRTIO_BLK=y |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_BLK_DEV_SR=y |
| CONFIG_SCSI_VIRTIO=y |
| CONFIG_ATA=y |
| CONFIG_ATA_PIIX=y |
| CONFIG_NETDEVICES=y |
| CONFIG_VIRTIO_NET=y |
| CONFIG_NE2K_PCI=y |
| CONFIG_8139CP=y |
| CONFIG_INPUT_EVDEV=y |
| CONFIG_SERIAL_8250=y |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_VIRTIO_CONSOLE=y |
| CONFIG_HW_RANDOM_VIRTIO=m |
| CONFIG_DRM=y |
| CONFIG_DRM_BOCHS=y |
| CONFIG_DRM_QXL=y |
| CONFIG_DRM_VIRTIO_GPU=y |
| CONFIG_SOUND=y |
| CONFIG_SND=y |
| CONFIG_SND_HDA_INTEL=y |
| CONFIG_SND_HDA_GENERIC=y |
| CONFIG_USB=y |
| CONFIG_USB_XHCI_HCD=y |
| CONFIG_USB_EHCI_HCD=y |
| CONFIG_USB_UHCI_HCD=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_VIRTIO_PCI=y |
| CONFIG_VIRTIO_BALLOON=y |
| CONFIG_VIRTIO_INPUT=y |
| CONFIG_VIRTIO_MMIO=y |
| CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y |
| CONFIG_EXT4_FS=y |
| CONFIG_ISO9660_FS=y |
| CONFIG_ZISOFS=y |
| CONFIG_JOLIET=y |
| CONFIG_TMPFS=y |
| CONFIG_TMPFS_POSIX_ACL=y |
