--- elwix/config/ELWIX_amd64	2021/09/08 12:07:28	1.4.2.1
+++ elwix/config/ELWIX_amd64	2021/09/14 12:00:33	1.4.2.2
@@ -1,4 +1,4 @@
-# $Id: ELWIX_amd64,v 1.4.2.1 2021/09/08 12:07:28 misho Exp $
+# $Id: ELWIX_amd64,v 1.4.2.2 2021/09/14 12:00:33 misho Exp $
 # $FreeBSD$
 
 cpu		HAMMER
@@ -214,8 +214,7 @@ device		nvme			# base NVMe driver
 device		nvd			# expose NVMe namespaces as disks, depends on nvme
 
 # Intel Volume Management Device (VMD) support
-device		vmd			# base VMD device
-device		vmd_bus			# bus for VMD children
+device		vmd
 
 # atkbdc0 controls both the keyboard and the PS/2 mouse
 device		atkbdc			# AT keyboard controller
@@ -435,13 +434,18 @@ device		virtio_blk		# VirtIO Block device
 device		virtio_scsi		# VirtIO SCSI device
 device		virtio_balloon		# VirtIO Memory Balloon device
 
+# Linux KVM paravirtualization support
+device		kvm_clock		# KVM paravirtual clock driver
+
 # HyperV drivers and enhancement support
 device		hyperv			# HyperV drivers 
 
 # Xen HVM Guest Optimizations
-# NOTE: XENHVM depends on xenpci.  They must be added or removed together.
+# NOTE: XENHVM depends on xenpci and xentimer.
+# They must be added or removed together.
 options 	XENHVM			# Xen HVM kernel infrastructure
 device		xenpci			# Xen HVM Hypervisor services driver
+device		xentimer		# Xen x86 PV timer device
 
 # Netmap provides direct access to TX/RX rings on supported NICs
 device		netmap			# netmap(4) support