Guest: DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64
hw.ncpu: 6
Interfaces: vtnet0 lo0
PCI: no Marvell (11ab) devices (NO_MARVELL_PCI)
Audited-tree check: md5 /usr/src/sys/dev/netif/msk/if_msk.c = 13e37c4beeae9ccf098991bd1731f667 == audited tree
Verification artifacts: build.log, run.log, serial_console.txt (boot.log excerpt:
  1247+ SPINNING markers, outer up to 88,046,829,568, stat_cons=0 idx=5, no panic)
Guest state after run: userland starved by the kernel-priority spin (ssh dead);
  recovered with `vm.sh reset with-src`; post-reset state verified clean.