=== DF-5145 baseline run (audit-tree kernel + pristine audit-tree module + IPI0001/_IFT=4 SSDT) ===

--- attach (kldload /root/ipmi-audit.ko) ---
ipmi0: <IPMI System Interface> port 0xca2-0xca3 on acpi0
ipmi0: SSIF interface not supported on ACPI

--- trigger (kldunload ipmi-audit) — serial console ---
login: ipmi0: <IPMI System Interface> port 0xca2-0xca3 on acpi0
ipmi0: SSIF interface not supported on ACPI
sio2: can't drain, serial port might not exist, disabling
Fatal user address access from kernel mode from kldunload at 0000000000000000


Fatal trap 12: page fault while in kernel mode
cpuid = 1; lapic id = 1
fault virtual address	= 0x0
fault code		= supervisor read instruction, page not present
instruction pointer	= 0x8:0x0
stack pointer	        = 0x10:0xfffff80116a44770
frame pointer	        = 0x10:0xfffff80116a44798
code segment		= base 0x0, limit 0xfffff, type 0x1b
			= DPL 0, pres 1, long 0, def32 0, gran 1
processor eflags	= interrupt enabled, resume, IOPL = 0
current process		= 808
current thread          = pri 6 
kernel: type 12 trap, code=10

CPU1 stopping CPUs: 0x0000003d
 stopped
Stopped at      0:

Fatal trap 12: page fault while in kernel mode
cpuid = 1; lapic id = 1
fault virtual address	= 0x0
fault code		= supervisor read data, page not present
instruction pointer	= 0x8:0xffffffff80bccb70
stack pointer	        = 0x10:0xfffff80116a44410
frame pointer	        = 0x10:0xfffff80116a44438
code segment		= base 0x0, limit 0xfffff, type 0x1b
			= DPL 0, pres 1, long 1, def32 0, gran 1
processor eflags	= interrupt enabled, resume, IOPL = 0
current process		= 808
current thread          = pri 6 (CRIT)
      kernel: type 12 trap, code=0
db> 

=== guest wedged in DDB; ssh dead (vm.sh status -> down) ===