# Linux kernel configuration seed
CONFIG_ALX=y
CONFIG_ATL1C=y
CONFIG_ATL1E=y
CONFIG_ATL1=y
CONFIG_ATL2=y
CONFIG_BLK_DEV_NVME=y
CONFIG_BLK_DEV_SD=y
CONFIG_BTRFS_FS_POSIX_ACL=y
CONFIG_BTRFS_FS=y
CONFIG_CHELSIO_T1_1G=y
CONFIG_CHELSIO_T1=y
CONFIG_CHELSIO_T3=y
CONFIG_CHELSIO_T4VF=y
CONFIG_CHELSIO_T4=y
CONFIG_FB=y
CONFIG_FB_EFI=y
CONFIG_FORCEDETH=y
CONFIG_FRAMEBUFFER_CONSOLE=y
CONFIG_FUSE_FS=y
CONFIG_HW_RANDOM_VIRTIO=y
CONFIG_HYPERVISOR_GUEST=y
CONFIG_HYPERV_NET=y
CONFIG_HYPERV=y
CONFIG_IGB=y
CONFIG_IKCONFIG_PROC=y
CONFIG_IKCONFIG=y
CONFIG_INET=y
CONFIG_INPUT_EVDEV=y
CONFIG_IP_NF_FILTER=y
CONFIG_IP_NF_IPTABLES=y
CONFIG_MLX4_EN=y
CONFIG_MLX5_CORE_EN=y
CONFIG_MLX5_CORE=y
CONFIG_MODULES=n
CONFIG_MVMDIO=y
CONFIG_NE2K_PCI=y
CONFIG_NETDEVICES=y
CONFIG_NETFILTER=n
CONFIG_NET_VENDOR_CAVIUM=n
CONFIG_NET_VENDOR_XILINX=n
CONFIG_NET=y
CONFIG_NLS_CODEPAGE_437=y
CONFIG_NLS_ISO8859_1=y
CONFIG_PACKET=y
CONFIG_PARAVIRT=y
CONFIG_PARTITION_ADVANCED=y
CONFIG_PCCARD=n
CONFIG_RFKILL=n
CONFIG_SATA_AHCI=y
CONFIG_SCSI_VIRTIO=y
CONFIG_SECURITY_SELINUX=n
CONFIG_SERIAL_8250_CONSOLE=y
CONFIG_SERIAL_8250=y
CONFIG_SIS190=y
CONFIG_SIS900=y
CONFIG_SKGE=y
CONFIG_SOUND=n
CONFIG_USB_EHCI_HCD=y
CONFIG_USB_STORAGE=y
CONFIG_USB_UHCI_HCD=y
CONFIG_USB_XHCI_HCD=y
CONFIG_USB=y
CONFIG_VFAT_FS=y
CONFIG_VIA_RHINE=y
CONFIG_VIA_VELOCITY=y
CONFIG_VIRT_DRIVERS=y
CONFIG_VIRTIO_BALLOON=y
CONFIG_VIRTIO_BLK_SCSI=y
CONFIG_VIRTIO_BLK=y
CONFIG_VIRTIO_CONSOLE=y
CONFIG_VIRTIO_INPUT=y
CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y
CONFIG_VIRTIO_MMIO=y
CONFIG_VIRTIO_NET=y
CONFIG_VIRTIO_PCI=y
CONFIG_VIRTUALIZATION=n
CONFIG_VMWARE_PVSCSI=y
CONFIG_VMXNET3=y
CONFIG_WIRELESS=n
CONFIG_WLAN=n
CONFIG_DRM_QXL=y