| CONFIG_SYSVIPC=y |
| CONFIG_CGROUPS=y |
| CONFIG_BLK_DEV_INITRD=y |
| CONFIG_SMP=y |
| CONFIG_HYPERVISOR_GUEST=y |
| CONFIG_PARAVIRT=y |
| CONFIG_MODULES=y |
| CONFIG_MODULE_UNLOAD=y |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_UNIX=y |
| CONFIG_INET=y |
| # CONFIG_WIRELESS is not set |
| CONFIG_DEVTMPFS=y |
| CONFIG_DEVTMPFS_MOUNT=y |
| CONFIG_VIRTIO_BLK=y |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_SCSI_VIRTIO=y |
| CONFIG_ATA=y |
| CONFIG_SATA_AHCI=y |
| CONFIG_ATA_PIIX=y |
| CONFIG_NETDEVICES=y |
| CONFIG_VIRTIO_NET=y |
| CONFIG_IGB=y |
| CONFIG_NE2K_PCI=y |
| CONFIG_8139CP=y |
| # CONFIG_WLAN is not set |
| 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_SOUND=y |
| CONFIG_SND=y |
| # CONFIG_SND_PCI is not set |
| 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_AUTOFS4_FS=y |
| CONFIG_TMPFS=y |
| CONFIG_TMPFS_POSIX_ACL=y |
| CONFIG_UNWINDER_FRAME_POINTER=y |
