diff --git a/src/etc/etc.i386/MAKEDEV b/src/etc/etc.i386/MAKEDEV
index bb31ca25..c0f141dc 100644
--- a/src/etc/etc.i386/MAKEDEV
+++ b/src/etc/etc.i386/MAKEDEV
@@ -3,7 +3,7 @@
 # THIS FILE AUTOMATICALLY GENERATED.  DO NOT EDIT.
 # generated from:
 #
-#	OpenBSD: etc.i386/MAKEDEV.md,v 1.84 2018/08/19 11:42:33 anton Exp 
+#	OpenBSD: etc.i386/MAKEDEV.md,v 1.85 2019/05/10 11:27:23 sthen Exp 
 #	OpenBSD: MAKEDEV.common,v 1.102 2019/04/14 10:23:36 jsg Exp 
 #	OpenBSD: MAKEDEV.mi,v 1.83 2016/09/11 03:06:31 deraadt Exp 
 #	OpenBSD: MAKEDEV.sub,v 1.14 2005/02/07 06:14:18 david Exp 
@@ -94,7 +94,6 @@
 #	tuner*	Tuner devices
 #	uk*	Unknown SCSI devices
 #	video*	Video V4L2 devices
-#	vmm	Virtual Machine Monitor
 #	vscsi*	Virtual SCSI controller
 #	pvbus*	paravirtual device tree root
 #	switch*	Switch driver
@@ -261,10 +260,6 @@ vscsi*)
 	M vscsi$U c 90 $U 600
 	;;
 
-vmm)
-	M vmm c 10 0 600
-	;;
-
 video*)
 	M video$U  c 44 $U 600
 	MKlist[${#MKlist[*]}]=";[ -e video ] || ln -s video$U video"
@@ -578,7 +573,7 @@ all)
 	R tap2 tap3 tun0 tun1 tun2 tun3 bio pty0 fd1 fd1B fd1C fd1D
 	R fd1E fd1F fd1G fd1H fd0 fd0B fd0C fd0D fd0E fd0F fd0G fd0H
 	R diskmap vscsi0 ch0 audio0 audio1 audio2 kcov bpf pvbus0
-	R pvbus1 vmm fuse pppx hotplug ptm gpr0 local wscons pci0 pci1
+	R pvbus1 fuse pppx hotplug ptm gpr0 local wscons pci0 pci1
 	R pci2 pci3 uall rmidi0 rmidi1 rmidi2 rmidi3 rmidi4 rmidi5
 	R rmidi6 rmidi7 tuner0 radio0 speaker video0 video1 uk0 random
 	R joy0 joy1 lpa0 lpa1 lpa2 lpt0 lpt1 lpt2 tty00 tty01 tty02