+
+# needed for VMWare
+CONFIG_SCSI=y
+CONFIG_BLK_DEV_SD=y
+CONFIG_FUSION=y
+CONFIG_FUSION_SPI=y
+CONFIG_VMWARE_BALLOON=m
+CONFIG_VMWARE_VMCI=m
+CONFIG_VMWARE_VMCI_VSOCKETS=m
+CONFIG_SND_ENS1371=m
+# vmwgfx doesn't yet work with AGL. If you can fix it, please change this!
+CONFIG_DRM_VMWGFX=n
+CONFIG_DRM_VMWGFX_FBCON=n