--- elwix/config/ELWIX_i386	2013/10/11 14:25:19	1.3.2.2
+++ elwix/config/ELWIX_i386	2014/01/07 08:41:29	1.4.2.2
@@ -1,4 +1,4 @@
-# $Id: ELWIX_i386,v 1.3.2.2 2013/10/11 14:25:19 misho Exp $
+# $Id: ELWIX_i386,v 1.4.2.2 2014/01/07 08:41:29 misho Exp $
 # $FreeBSD: src/sys/i386/conf/GENERIC,v 1.590 2013/07/07 00:29:29 svnexp Exp $
 
 cpu		I486_CPU
@@ -76,13 +76,11 @@ options 	HWPMC_HOOKS		# Necessary kernel hooks for hwp
 options 	AUDIT			# Security event auditing
 options 	CAPABILITY_MODE		# Capsicum capability mode
 options 	CAPABILITIES		# Capsicum capabilities
-options 	PROCDESC		# Support for process descriptors
 options 	MAC			# TrustedBSD MAC Framework
 #options 	KDTRACE_HOOKS		# Kernel DTrace hooks
 #options 	DDB_CTF			# Kernel ELF linker loads CTF data
 options 	FLOWTABLE		# per-cpu routing cache
 options 	INCLUDE_CONFIG_FILE     # Include this file in kernel
-options 	XENHVM			# Include Xen support
 
 # Debugging support.  Always need this:
 #options 	KDB			# Enable kernel debugger support.
@@ -429,8 +427,16 @@ device		virtio_blk	# VirtIO Block device
 device		virtio_scsi	# VirtIO SCSI device
 device		virtio_balloon	# VirtIO Memory Balloon device
 
-# Xen support
-device		xenpci		# Generic Xen bus
+# HyperV drivers
+device		hyperv		# HyperV drivers 
+
+# Xen HVM Guest Optimizations
+# NOTE: XENHVM depends on xenpci.  They must be added or removed together.
+options 	XENHVM		# Xen HVM kernel infrastructure
+device		xenpci		# Xen HVM Hypervisor services driver
+
+# VMware support
+device		vmx		# VMware VMXNET3 Ethernet
 
 ### ELWIX Additional custom settings ...