diff --git a/src/etc/etc.arm64/MAKEDEV b/src/etc/etc.arm64/MAKEDEV
index 933701a0..1cf4d3fb 100644
--- a/src/etc/etc.arm64/MAKEDEV
+++ b/src/etc/etc.arm64/MAKEDEV
@@ -3,7 +3,7 @@
 # THIS FILE AUTOMATICALLY GENERATED.  DO NOT EDIT.
 # generated from:
 #
-#	OpenBSD: etc.arm64/MAKEDEV.md,v 1.4 2019/12/17 13:08:55 reyk Exp 
+#	OpenBSD: etc.arm64/MAKEDEV.md,v 1.5 2019/12/22 18:18:02 kettenis Exp 
 #	OpenBSD: MAKEDEV.common,v 1.107 2019/12/17 13:15:17 reyk 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 
@@ -71,6 +71,7 @@
 #	fuse	Userland Filesystem
 #	gpio*	General Purpose Input/Output
 #	hotplug	devices hot plugging
+#	ipmi*	IPMI BMC access
 #	pci*	PCI bus devices
 #	pf*	Packet Filter
 #	pppx*	PPP Multiplexer
@@ -288,6 +289,10 @@ pci*)
 	MKlist[${#MKlist[*]}]=";[ -h pci ] || ln -sf pci0 pci"
 	;;
 
+ipmi*)
+	M ipmi$U c 96 $U 600
+	;;
+
 hotplug)
 	M hotplug c 82 $U 400
 	;;
@@ -474,15 +479,15 @@ local)
 	;;
 
 all)
-	R switch0 switch1 switch2 switch3 gpio0 gpio1 gpio2 bktr0
-	R vnd0 vnd1 vnd2 vnd3 sd0 sd1 sd2 sd3 sd4 sd5 sd6 sd7 sd8 sd9
-	R cd0 cd1 rd0 tap0 tap1 tap2 tap3 tun0 tun1 tun2 tun3 bio pty0
-	R diskmap vscsi0 ch0 audio0 audio1 audio2 bpf fuse pppx
-	R hotplug ptm local wscons pci0 pci1 pci2 pci3 uall rmidi0
-	R rmidi1 rmidi2 rmidi3 rmidi4 rmidi5 rmidi6 rmidi7 tuner0
-	R radio0 video0 video1 uk0 random tty00 tty01 tty02 tty03
-	R tty04 tty05 tty06 tty07 tty08 tty09 tty0a tty0b apm pf wd0
-	R wd1 wd2 wd3 std fd
+	R switch0 switch1 switch2 switch3 ipmi0 gpio0 gpio1 gpio2
+	R bktr0 vnd0 vnd1 vnd2 vnd3 sd0 sd1 sd2 sd3 sd4 sd5 sd6 sd7
+	R sd8 sd9 cd0 cd1 rd0 tap0 tap1 tap2 tap3 tun0 tun1 tun2 tun3
+	R bio pty0 diskmap vscsi0 ch0 audio0 audio1 audio2 bpf fuse
+	R pppx hotplug ptm local wscons pci0 pci1 pci2 pci3 uall
+	R rmidi0 rmidi1 rmidi2 rmidi3 rmidi4 rmidi5 rmidi6 rmidi7
+	R tuner0 radio0 video0 video1 uk0 random tty00 tty01 tty02
+	R tty03 tty04 tty05 tty06 tty07 tty08 tty09 tty0a tty0b apm pf
+	R wd0 wd1 wd2 wd3 std fd
 	;;
 
 wd*|sd*)